Show HN: My microkernel-based OS built from scratch now has basic Unix commands
(github.com/lux-operating-system)
lux (intentionally stylized in lowercase) is a portable work-in-progress microkernel written from scratch that currently runs on x86_64, with future plans for an ARM64 port.
lux (intentionally stylized in lowercase) is a portable work-in-progress microkernel written from scratch that currently runs on x86_64, with future plans for an ARM64 port.
Why no (se)L4 microkernel/hypervisor based browser?
(ycombinator.com)
For example, Microsoft's Gazelle and Illinois Browser OS build their browsers based on a secure kernel, so why no (se)L4 microkernel/hypervisor based browser?
For example, Microsoft's Gazelle and Illinois Browser OS build their browsers based on a secure kernel, so why no (se)L4 microkernel/hypervisor based browser?
Ask HN: What runs L4-related microkernels/hypervisors these days?
(ycombinator.com)
I've been learning about the L4 microkernel, and am thinking about doing something related to it for a research project.
I've been learning about the L4 microkernel, and am thinking about doing something related to it for a research project.