Comment by smcleod

Surely it's simply software that has its own kernel, that could be booted to from BIOS/uEFI or any other low level hardware initialisation process.