1 - efiboot 2 * handle UEFI variables 3 * boot from CD/DVD (bootable from CD/DVD, but root fs not found.) 4 * load boot.cfg from EFI system partition (FAT32) 5 * fix module_init(). need to allocate memory for modules. 6 * bootia32.efi can load kernel, but can't start kernel 7 8 - kernel 9 * handle UEFI variables (/dev/efivar) 10 * accelerated console 11 12 - userland 13 * efibootmgr like utility 14 * merge distrib/amd64/uefi-installimage to distrib/amd64/install-image 15 * merge distrib/amd64/uefi-installimage/Makefile.* to distrib/common/Makefile.* 16 17 - installer 18 * sysinst(8): handle dk(4) for install disk 19