Amaury,
I own a via EPIA mobo that I use for GPS/music playing in my car. It currently takes about 50 seconds to boot into my program http://sxpert.esitcom.org/projects/navsys/ I am wondering if linux bios would help me in accelerating the boot time
It takes about 1 sec to get to kernel loading. Also, IRQ is fixed fixed. If you don't need vga support, LinuxBIOS is a very good alternative.
-Andrew