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?
Sure!
HTH Julian