Post #2198704
2025-12-15 16:37 UTC
@fazalmajid@social.vivaldi.net @millie@infosec.exchange use this post’s sentiment for the OS for starters.
Replies (1)
-
@fazalmajid@social.vivaldi.net 2025-12-15 21:20
@gikiski@social.lol @millie@infosec.exchange the only OS I can see that for is seL4, because it has been formally proved correct.