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.
Sincerely Daniel Douglas Dyrseth
