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 7 - kernel 8 * handle UEFI variables (/dev/efivar) 9 * accelerated console 10 11 - userland 12 * efibootmgr like utility 13 * merge distrib/amd64/uefi-installimage to distrib/amd64/install-image 14 * merge distrib/amd64/uefi-installimage/Makefile.* to distrib/common/Makefile.* 15 16 - installer 17 * sysinst(8): handle dk(4) for install disk 18