Running L4linux as a server
Ahmed Makkawi <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CAOpcnk4yAU8zt0tCY_ZJoJB5cKuX5bEtuYjXELXUPTgedTz25g@mail.gmail.com> |
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 ? BR, Ahmed Makkawi _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers