Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
SkyMarshal
on April 24, 2020
|
parent
|
context
|
favorite
| on:
EBPF is turning the Linux kernel into a microkerne...
Or you could think of Minix as perfect. Or SEL4 as perfect. Or QNX as perfect.
No need to cherry pick Hurd for your example when there are shipping microkernels.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
No need to cherry pick Hurd for your example when there are shipping microkernels.