Post #3291495

@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