Hi! I've been reading the list for a while and learning how things work around here. The choice of trying LinuxBIOS is mainly related to a board i've bought, that has lots of PCI devices and where the factory BIOS simply doesn't have any type of PCI sharing working properly. There is no ACPI support.