> On May 21, 2022, at 4:16 PM, Daniel Douglas Dyrseth <dddyrs...@gmail.com> > wrote: > Hi > Is porting natively a microkernel like seL4, Minix's or rewriting one for > OpenBSD an option and something the developers could implement? I see this as > an excellent addition to the already most robust OS in the world. This mailing list is for diffs and patches not pie in the sky questions. There’s misc@ for that. To save you having to post again though, the answer is no. sel4 is GPL licensed. But if you wanted to write an OpenBSD personality to run on top of sel4, no one would stop you. > > Sincerely > Daniel Douglas Dyrseth
