4 ms·
Multiple attempts at replacing the Mach microkernel have fizzled out, meaning it's not even academically interesting. If Coyotos or Viengoos or L4.Sec had ever
by TillE 12y ago
Multiple attempts at replacing the Mach microkernel have fizzled out, meaning it's not even academically interesting. If Coyotos or Viengoos or L4.Sec had ever worked out, there would be something genuinely useful that people might want to work on.
- alexvoda 12y agoI 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.