The Intel processors all ship with Minix in their Management Engine. The Apple iOS devices all have L4 in their security enclaves. Both of these OSes have ope

The Intel processors all ship with Minix in their Management Engine. The Apple iOS devices all have L4 in their security enclaves. Both of these OSes have open source options, though the ones shipped in the processors are closed.