Hacker News new | ask | show | jobs
by eddythompson80 355 days ago
seL4+Genode is equally as bankrupt. I run my code in the SMM anyway.