Forget it. You'll find out that Mike developed this to work with one certain Raspberry Pi Linux distro, and maybe it is supported by more.
I'm not sure I agree with that. It really depends on if the runner is programmed to be booted from appropriately. Now, I highly doubt that it is programmed in such a way, which is why I asked.
What you can probably do though is strip one of those distros to its bare necessities and make it boot straight into the game.
Do you mean the times when the OS was loaded from the disk before booting the game, or the time that the OS was read from the ROM banks before booting the game?
Have you forgotten the days when you put a game's floppy disk in a computer and the computer booted into the game? No OS required.