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
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.
Not a priority
> On May 21, 2022, at 4:16 PM, 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 alread
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