Re: Hello!

Julian Stecklina <[email protected]> Fri, 14 Feb 2014 13:44:02 +0100

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<[email protected]>

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

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

signature.asc (application/pgp-signature, 198 B)

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iEYEARECAAYFAlL+D5IACgkQ2EtjUdW3H9lgDwCfVnKXiq6rDdmsvnFVdc/lPEzQ
qu0An1NDKLKc1LFTm1etwjnnV2Xbfwk/
=4rCP
-----END PGP SIGNATURE-----