Hello,

We are using intel atom C3558 denverton_NS platform. This platform is booting with coreboot4.16. Payload of coreboot is Seabios. Openbsd running in our board. Coreboot is booting successfully. I press  ESC key when I see "Press ESC for boot menu" print but I can not select boot device. It is booting automatically. I want to select boot device. I check seabios community and disabled  CONFIG_HARDWARE_IRQ but nothing changed. You can find seabios config file above. You can find coreboot config file above. How can i solve this problem.

Mahmut ÖLGER

Embedded Software Engineer.