We investigate how to get inside the bios of this HP computer. It might be a different in every computer. I think it is this computer more or less. I do think it was m9060… It is an 8-9 year old computer. ArcoLinux works fine on it.

In our case ESC is what we need to get into the bios.

We check 2 things:

  • can we boot from usb
  • is virtualization enabled to be able to have virtualbox later

What you see beneath is the bootmenu ESC. That is needed if you have your usb plugged in and want to boot from USB.