4 ms·
I wasn't aware there were attempts to replace Mach with something else inside Hurd. I am really interested if you can share a bit of history about this; Especia
by alexvoda 12y ago
I wasn't aware there were attempts to replace Mach with something else inside Hurd. I am really interested if you can share a bit of history about this; Especially if it's related to L4 and capability-computing.
Same as Symmetry below, I would be interested in any L4 and seL4 based general purpose operating system project.
- dragonwriter 12y agoVery brief history is here: https://www.gnu.org/software/hurd/history/port_to_another_microkernel.html https://www.gnu.org/software/hurd/history/port_to_another_mi...
- justincormack 12y agoGenode works on a variety of L4-based kernels, probably what you want to look at.