This package is based on the package 'kernel-source' from project 'openSUSE:Factory'.

Linux kernel sources with many fixes and improvements.

This package is based on the package 'kernel-source' from project 'openSUSE:Factory'.

Linux kernel sources with many fixes and improvements.

This package is based on the package 'kernel-source' from project 'openSUSE:Factory'.

Linux kernel sources with many fixes and improvements.

This package is based on the package 'kernel-source' from project 'Kernel:SL103_BRANCH'.

This package is based on the package 'kernel-source' from project 'Kernel:SL103_BRANCH'.

l4 directory structure

L4 build and runtime environment

tud-l4env-snapshot svn module

rub-l4-secserv testing package

NOTE: Automatically created during Factory devel project migration by admin.