jsteckli at os.inf.tu-dresden.de
Fri Feb 14 13:44:02 CET 2014
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:
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?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 198 bytes
Desc: OpenPGP digital signature
More information about the l4-hackers