[LinuxBIOS] Change BIOS option for end-user?

[Jun Koi]

Hi,

In normal computer, end-users can change the BIOS options when they
turn on their computer (like press DEL, enter BIOS screen, change
options, then "Exit and Save"....). How can we do that with LinuxBIOS?

Clearly we can change the source code, recompile and reflash back to
the BIOS, but that is not supposed to do for the end-users. There must
be easier way....

Thanks,
Jun