"but there's a 9th 32 bit core which runs all the time, even when the machine is powered down" So it's like the situation on mobile phones, with their baseband

"but there's a 9th 32 bit core which runs all the time, even when the machine is powered down" So it's like the situation on mobile phones, with their baseband processors. Except on a general purpose computer. Awesome.