Adding more functionality on top of L4Linux

Adam Lackorzynski adam at
Sat Jul 18 00:24:36 CEST 2015


On Fri Jul 17, 2015 at 20:13:30 +0800, Thotheolh Tay wrote:
> Are there any guides which I can add the following features onto L4Linux ?
>  - GCC, Make, CCID, PCSC

I assume you're using the default setup with a ramdisk?

> If the features do not exist in L4Linux, how do I build my own L4Linux
> image with these features and what do I need to modify to ensure they work
> properly on L4Linux ?

L4Linux will also run from harddisk/SSD using a standard Linux
distribution. I suggest you go this way for compiling software and
generally having a broad range of software available inside L4Linux.

Adam                 adam at

More information about the l4-hackers mailing list