@knowtheory Also since minix is embedded into the firmware for intel...yes?