Hello!

[Julian Stecklina]

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


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140214/6037a8e3/attachment.asc>