3 ms·seL4+Genode is equally as bankrupt. I run my code in the SMM anyway.by eddythompson80 1y agoseL4+Genode is equally as bankrupt. I run my code in the SMM anyway.