2 ms·
There is also a relatively modern capability-based kernel in the L4 family of microkernels, called Fiasco.OC: https://os.inf.tu-dresden.de/fiasco/overview.html
by ahlCVA 10mo ago
There is also a relatively modern capability-based kernel in the L4 family of microkernels, called Fiasco.OC: https://os.inf.tu-dresden.de/fiasco/overview.html https://os.inf.tu-dresden.de/fiasco/overview.html
There are also a bunch of components for building a functional userspace (such as L4Re or Genode).
- NooneAtAll3 10mo agowhat does L4 mean here?
- sirwhinesalot 10mo agoL4 was a microkernel design by Jochen Liedtke (RIP). It was notable for proving that microkernels can perform much better than was thought at the time (L4 performed 20x better than the Mach microkernel). The work was so influential it got the ACM SIGOPS Hall of Fame Award in 2015. A whole family of microkernels based on that original design have since been developed, hence the "L4 microkernel family".
- unwind 10mo agoIt's a family of microkernels. https://en.wikipedia.org/wiki/L4_microkernel_family https://en.wikipedia.org/wiki/L4_microkernel_family
- kragen 10mo agoLiedtke's fourth OS.