AIUI Sel4 is just a kernel, so adding all the "management engine crap" - network...

sillywalk 3 months ago | parent | context | favorite | on: Andrew S. Tanenbaum Receives ACM Software System A...

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.