Hacker News new | ask | show | jobs
by sillywalk 732 days ago
AIUI Sel4 is just a kernel, so adding all the "management engine crap" - networking stacks, drivers etc. would be a lot of work. Minix came with 'batteries' included.