Hello, On Fri, Mar 19, 2021 at 12:44:47PM -0400, Joshua Branson wrote: > pinoaffe <pinoa...@airmail.cc> writes: > > raingloom writes: > > > >> seL4 would be cool too.
> So essentially most of the active hurd developers considered a port to a > different microkernel to be impractical. :( > > However, one of the main hurd developers (he has since stepped away from > active development), started a hurd clone: x15. On the microkernel front there is also [Genode] which seems to have nice ideas. I don't know if it would suit Guix or not. [Genode]: https://genode.org/