Y
Hacker News
new
|
ask
|
show
|
jobs
by
snvzz
30 days ago
It should be done in userspace, but then again, so should everything else[0].
0.
https://microkerneldude.org/category/sel4/