This is my take on what it will be like.
The early startup menu (as in 68k AOS) won't be available until the OS (4.0) itself is booting. That is, after the BIOS boot up and OS selection.
Steps:
1. Normal BIOS boot (press Fx-key for BIOS settings)
2. Grub or similar startup menu (for booting different oses)
3. Selected OS boot
3.1 If booting 4.0, an early startup menu will be available by using the standard hot key (LMB+RMB)
3.2 If booting another OS, that OS's standard boot procedure will execute.
Can't see why it would/should be made in another way than the above.
/Björn
