upvote

points

by pclmulqdq1 hours ago |
comments
upvoteby andai45 minutes ago|
[-]
What do they use for that? BSD?
reply
upvoteby pclmulqdq33 minutes ago|
parent|
[-]
The ones that use an OS generally use seL4 these days.
reply