The C and C++ compiler was switched back to GCC from CLANG.
Search Criteria
Package Details: l4linux-svn 3.14-2
Package Actions
| Package Base: | l4linux |
|---|---|
| Description: | The Linux Kernel running on the L4 microkernel |
| Upstream URL: | http://os.inf.tu-dresden.de/L4/LinuxOnL4/ |
| Category: | kernels |
| Licenses: | |
| Submitter: | WFCody |
| Maintainer: | Andzai |
| Last Packager: | Andzai |
| Votes: | 0 |
| First Submitted: | 2013-07-26 10:54 |
| Last Updated: | 2014-07-05 15:35 |
Dependencies (11)
- coreutils
- linux-firmware
- mkinitcpio
- binutils (make)
- gawk (make)
- gcc (make)
- make (make)
- perl (make)
- pkg-config (make)
- subversion (make)
- crda (optional) – to set the correct wireless channels of your country
Required by (0)
Sources
- globalconfig.32
- globalconfig.64
- kconfig.32
- kconfig.64
- l4config-32
- l4config-64
- l4linux.preset
Latest Comments
Comment by Andzai
Comment by Andzai
Downloading of the source code is from svn repos now. By this package you can update your source code, if you did not use "makepkg -c".
Comment by WFCody
Thanks for your interest. Unfortunately RL stuff makes it hard to find time working with this package. If anyone is interested - please take over maintainership
Comment by indiependente
Could you please update the snapshot? It is not reachable anymore. Thanks
Comment by WFCody
warning: work-in-progress
Action points:
- figure out which configure options that need to be stripped from the Arch linux configs
- figure out how to make l4 --> l4re --> l4linux bootable (different boot loaders). Is mkinitcpio needed? Instructions seem to indicate making a bootable iso image.
- other stuff?
Help/feedback/contributions welcome!