Currently the recommended modified debug bios (as people have reported) will fail to boot ISOs. We should not recommend it so plainly on the Getting Started page until that issue is fixed. We should instead recommend a retail version. In general it's probably best to recommend retail anyway since only a select group of people will need the features provided by a debug kernel.
Currently the recommended modified debug bios (as people have reported) will fail to boot ISOs. We should not recommend it so plainly on the Getting Started page until that issue is fixed. We should instead recommend a retail version. In general it's probably best to recommend retail anyway since only a select group of people will need the features provided by a debug kernel.