Hi,
>> There are a couple of. >> >> The majority of them are because SeaBIOS not behaving like real hardware >> should and must do. >> >> If you know any OS that's not in the OS Support List and is broken please >> commit. > > If something is broken, please file a bug against it. The OS Support List is > a very useful resource but we still need bugs to actually work on fixing the > problems. The OS Support List clearly specifies that in case of a fail, bug, or non working case, a bug should be filled, so I think, using the OS Support List includes bugs in Launchpad, however the reverse is not true.