To enter the boot menu in Robin, "ESC" instead of "DEL" must be pressed. In the menu, the boot device can be set for this session. After a reset, power down or reboot the previous BIOS setting is used.
