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.