Y
Hacker News
new
|
ask
|
show
|
jobs
andai
3 hours ago
[
-
]
What do they use for that? BSD?
pclmulqdq
2 hours ago
[
-
]
The ones that use an OS generally use seL4 these days.
Please enable JavaScript to continue using this application.
The ones that use an OS generally use seL4 these days.