Change Details

This has been tested with EFI. There are issues (namely, it does not properly pass the information for the kernel to initialize the EFI frame buffer), but it is capable of booting. The PC version can be tested with a legacy BIOS setup. The QEMU setup can be tested by someone who knows how. The Coreboot setup cannot presently be tested easily.

This has been tested with EFI. It currently does not pass in the EFI map to the kernel, but it can boot with a working frame buffer. The PC version can be tested with a legacy BIOS setup. The QEMU setup can be tested by someone who knows how. The Coreboot setup cannot presently be tested easily.

This has been tested with EFI. There are issues (namely, itIt currently does not properly passpass in the information forEFI map to the kernel to initialize the EFI frame buffer)l, but it is capable of bootingcan boot with a working frame buffer. The PC version can be tested with a legacy BIOS setup. The QEMU setup can be tested by someone who knows how. The Coreboot setup cannot presently be tested easily.