4 ms·
seL4 so far makes a lot of sense for what we're working on. The hardest part is finding seL4 expertise.
by im_down_w_otp 9y ago
seL4 so far makes a lot of sense for what we're working on. The hardest part is finding seL4 expertise.
- nickpsecurity 9y agoWhat you need is embedded microkernel expertise with some training in INFOSEC. Look up Nizza Secure-Systems Architecture paper for how to use such architectures well.
- harry8 9y agohttps://cog.systems/about/ https://cog.systems/about/