Interesting. But it seems that MINIX does not run on the (same) processor as we're running Linux on (which would have been pretty surprising) but there is a separate low power CPU on the mother board that runs the management software under MINIX.

Reference: https://en.wikipedia.org/wiki/Intel_Management_Engine