Searched refs:efi64 (Results 1 – 3 of 3) sorted by relevance
18 all_firmware := bios efi32 efi64268 efi64: target269 @mkdir -p $(OBJ)/efi64270 $(MAKE) -C $(OBJ)/efi64 -f $(SRC)/Makefile SRC="$(SRC)" \271 objdir=$(OBJ)/efi64 OBJ=$(OBJ)/efi64 HAVE_FIRMWARE=1 \
81 * efi64: Add support for booting 32-bit kernels.
23 make bios efi64 installer