14 Feb
2014
14 Feb
'14
1:44 p.m.
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