Searched refs:boot_driver (Results 1 - 14 of 14) sorted by relevance

/barrelfish-master/tools/harness/
H A Dbarrelfish.py29 self.boot_driver = None
57 def set_boot_driver(self, boot_driver, args=[]):
58 if boot_driver == None :
59 self.boot_driver = None
62 self.boot_driver = os.path.join(self.prefix, boot_driver);
98 or (self.boot_driver != None and self.cpu_driver != None))
102 if self.boot_driver :
104 os.path.join(path, self.boot_driver), " ".join(self.boot_driver_args))
127 if self.boot_driver
[all...]
/barrelfish-master/include/
H A Dgrubmenu.h24 struct menu_module boot_driver; member in struct:menu_lst
/barrelfish-master/usr/skb/programs/
H A Dplat_fvp.pl11 boot_driver("/armv8/sbin/boot_armv8_generic").
H A Dplat_qemu.pl11 boot_driver("/armv8/sbin/boot_armv8_generic").
H A Dplat_cn88xx.pl11 boot_driver("/armv8/sbin/boot_armv8_generic").
H A Dplat_apm88xxxx.pl12 boot_driver("/armv8/sbin/boot_armv8_generic").
H A Dplat_imx8x.pl11 boot_driver("/armv8/sbin/boot_armv8_generic").
/barrelfish-master/tools/armv8_bootimage/
H A Darmv8_bootimage.c193 + strlen(menu->boot_driver.path) + 2);
240 struct multiboot_tag_module_64 *boot_driver = local
243 boot_driver->type = MULTIBOOT_TAG_TYPE_MODULE_64;
244 boot_driver->size = ALIGN(sizeof(struct multiboot_tag_module_64)
245 + strlen(menu->boot_driver.path) + 2);
246 boot_driver->mod_start = (multiboot_uint64_t) modules[0].paddr;
247 boot_driver->mod_end =
249 sprintf(boot_driver->cmdline, "%s", menu->boot_driver.path);
250 cursor += boot_driver
[all...]
H A Defi_loader.c87 typedef void boot_driver(uint32_t magic, void *pointer); typedef
423 EFI_PHYSICAL_ADDRESS boot_driver; local
428 &boot_driver
435 memcpy((void *)boot_driver, BLOB_ADDRESS(blob_info->boot_driver_segment), blob_info->boot_driver_segment_size);
440 boot_driver,
446 cfg->boot_driver_entry = boot_driver + blob_info->boot_driver_entry;
712 (*((boot_driver *) (cfg.boot_driver_entry))) (MULTIBOOT2_BOOTLOADER_MAGIC, core_data);
/barrelfish-master/tools/harness/machines/
H A Dfvp.py172 boot_driver = 'boot_armv8_generic',
179 boot_driver = 'boot_armv8_generic',
H A D__init__.py36 boot_driver = None,
62 self._boot_driver = boot_driver
H A Dqemu.py322 boot_driver = 'boot_armv8_generic',
374 boot_driver = 'boot_armv8_generic',
/barrelfish-master/usr/drivers/cpuboot/arch/armv8/
H A Dboot_arch.c141 err = skb_execute_query("boot_driver(S), write(res(S)).");
486 struct module_blob *boot_driver,
495 err = elf_check_header(boot_driver->vaddr, boot_driver->size);
500 err = elf_check_header(boot_driver->vaddr, cpu_driver->size);
506 err = elf_find_entry(boot_driver, cfg->boot_driver_entry, &boot_entry_point);
524 err = load_elf_binary(boot_driver, boot_mem, boot_entry_point, &boot_entry_point);
534 err = relocate_elf(boot_driver, boot_mem, 0);
485 load_boot_and_cpu_driver(struct arch_config *cfg, struct module_blob *boot_driver, struct mem_info *boot_mem, struct module_blob *cpu_driver, struct mem_info *cpu_mem, genvaddr_t *ret_boot_entry, genvaddr_t *ret_cpu_entry) argument
/barrelfish-master/lib/multiboot/
H A Dgrubmenu.c257 len= read_string(infile, read_token, &menu->boot_driver.path);

Completed in 165 milliseconds