@fazalmajid@social.vivaldi.net
Post #2198705
2025-12-15 21:20 UTC
@gikiski@social.lol @millie@infosec.exchange the only OS I can see that for is seL4, because it has been formally proved correct.
Replies (1)
-
@TajuyanTachyon@chaos.social 2025-12-28 15:59
@fazalmajid@social.vivaldi.net @gikiski@social.lol @millie@infosec.exchange an OS is an edge while talking of programs. Furthermore, also on OS, people need housing, but no one needs a new floor twice a year