On 02/14/2014 07:10 AM, Blaine Garst wrote: > I am looking for a non-GPL kernel/executive/nano-kernel [...]
Is there any specific reason why you would shy away from GPL code? The only non-GPL L4 kernel I can think of is Pistachio: http://www.l4ka.org/65.php It works, but is not actively maintained anymore. If you need a userland for Pistachio, you can try Genode: http://genode.org/ > Is this an appropriate list to discuss whether L4 is an appropriate starting > point and such issues that might arise from my exploration? Sure! HTH Julian
signature.asc
Description: OpenPGP digital signature
_______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
