7230
Comments (427)
sorted by:
You're viewing a single comment thread. View all comments, or full comment thread.
4
Quietam_Unum 4 points ago +4 / -0

Yep, stripped down linux, netbsd or similar kernel with all the net drivers drivers stripped out.

1
BillDStrong 1 point ago +1 / -0

Or seL4 kernel with GenodeOS? We are talking about security here.