Searched refs:efi32 (Results 1 – 2 of 2) sorted by relevance
28 make efi32 spotless installer36 make O=/tmp/syslinux-obj efi3238 will build the 32-bit object files under /tmp/syslinux-obj/efi32. If
18 all_firmware := bios efi32 efi64260 efi32: target261 @mkdir -p $(OBJ)/efi32262 $(MAKE) -C $(OBJ)/efi32 -f $(SRC)/Makefile SRC="$(SRC)" \263 objdir=$(OBJ)/efi32 OBJ=$(OBJ)/efi32 HAVE_FIRMWARE=1 \