Searched refs:efi (Results 1 - 10 of 10) sorted by relevance
/barrelfish-2018-10-04/lib/acpica/generate/efi/ |
H A D | Makefile.rules | 4 # BIN/PROG.efi - Copies the utility to the local bin directory 5 # PROG.efi - Converts the shared library into EFI executable 10 ../$(BINDIR)/$(PROG).efi : $(PROG).efi 13 $(PROG).efi : $(PROG).so 23 rm -f ../$(BINDIR)/$(PROG).efi 24 rm -f $(PROG).efi
|
H A D | Makefile.common | 15 ls -al ../bin/$@.efi; \
|
H A D | Makefile.config | 12 # ACPICA directory structure, from under generate/efi. It specifically 13 # places all object files in a generate/efi subdirectory, not within 127 --target=efi-app-$(TARGET) 186 EFIINC = /usr/include/efi 221 $(EFILIB)/crt0-efi-$(TARGET).o
|
/barrelfish-2018-10-04/lib/acpica/ |
H A D | Makefile | 14 ifeq ($(OS),efi) 15 BUILD_DIRECTORY_PATH = "generate/efi" 16 include generate/efi/Makefile.config 17 include generate/efi/Makefile.common
|
/barrelfish-2018-10-04/tools/ |
H A D | mkefi.py | 43 efi = harness.efiimage.EFIImage(args.image, args.size) variable 45 efi.create() 47 efi.addFile(f, f)
|
/barrelfish-2018-10-04/tools/harness/machines/ |
H A D | fvp.py | 124 efi = efiimage.EFIImage(self.kernel_img, 200) 125 efi.create() 127 efi.addFile(os.path.join(self.options.builds[0].build_dir, module), module) 128 efi.writeFile("startup.nsh", "Hagfish.efi hagfish.cfg") 129 efi.addFile("/home/netos/tftpboot/Hagfish.efi", "Hagfish.efi") 130 efi.addFile(menulst_fullpath, "hagfish.cfg")
|
H A D | qemu.py | 287 efi = efiimage.EFIImage(self._machine.kernel_img, 200) 288 efi.create() 290 efi.addFile(os.path.join(self._machine.options.builds[0].build_dir, module), module) 291 efi.writeFile("startup.nsh", "Hagfish.efi hagfish.cfg") 292 efi.addFile("/home/netos/tftpboot/Hagfish.efi", "Hagfish.efi") 293 efi.addFile(menulst_fullpath, "hagfish.cfg")
|
/barrelfish-2018-10-04/kernel/arch/armv8/ |
H A D | init.c | 30 #include <efi.h>
|
H A D | startup_arch.c | 40 #include <efi.h>
|
/barrelfish-2018-10-04/doc/022-armv8/ |
H A D | report.tex | 642 \item \texttt{Hagfish.efi} is loaded over PXE by UEFI, and is executed at a
|
Completed in 108 milliseconds