Post #3291494
2026-05-31 11:07 UTC
@valkyrie@wandering.shop Sounds nice, i'm curious what kernel means in this context. 😊
Replies (1)
-
@valkyrie@wandering.shop 2026-05-31 11:17
@floriann@infosec.exchange tiny microkernel that makes the federated resource sharing safe, resource sharing runs on top really just a thought experiment and learning experience for me. seL4 accomplishes this already afaik