Searched refs:efi (Results 1 - 10 of 10) sorted by relevance

/barrelfish-2018-10-04/lib/acpica/generate/efi/
H A DMakefile.rules4 # 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 DMakefile.common15 ls -al ../bin/$@.efi; \
H A DMakefile.config12 # 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 DMakefile14 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 Dmkefi.py43 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 Dfvp.py124 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 Dqemu.py287 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 Dinit.c30 #include <efi.h>
H A Dstartup_arch.c40 #include <efi.h>
/barrelfish-2018-10-04/doc/022-armv8/
H A Dreport.tex642 \item \texttt{Hagfish.efi} is loaded over PXE by UEFI, and is executed at a

Completed in 108 milliseconds