Running L4linux as a server

Ahmed Makkawi ahmed0makkawi at
Thu Feb 4 16:03:56 CET 2016

Hi all,

in the L4Linux menuconfig, there is an option saying :

[ ] make linux be a server

Could someone explain to me what this feature does exactly ?


Ahmed Makkawi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list