A decade ago, there was an experiment to port OpenBSD to the L4/Fiasco microkernel [1]. However, if I remember correctly, it was not a multi-server port, someone please correct me if i am wrong.
Regards, Aslan [1] https://www.isti.tu-berlin.de/fileadmin/fg214/finished_theses/cludwig/OpenBSDonFiasco.pdf On Sat, May 21, 2022 at 10:07:01PM +0200, Daniel Douglas Dyrseth 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. > > Sincerely > Daniel Douglas Dyrseth >