Hacker Times
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Zamiel_Snawley
on March 24, 2025
|
parent
|
context
|
favorite
| on:
The SeL4 Microkernel: An Introduction [pdf]
Genode is an actively developed, general purpose desktop operating system that works today, and can use seL4, among other kernels.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
