/barrelfish-master/tools/fastmodels/ |
H A D | bootdebug.py | 17 # Load the image 22 image= ec.getImageService() variable 23 image.addSymbols("armv8/sbin/fvp_shim", details["shim_address"]) 26 image.addSymbols("armv8/sbin/cpu_foundation",
|
H A D | config.h | 12 /* The offset and length of the image path, and argument strings for this 17 /* The size and target address of the ELF image. */ 21 /* A pointer to the module tag in the multiboot info image. */ 24 /* A pointer to the loaded image. */ 25 void *image; member in struct:component_config
|
/barrelfish-master/tools/arm_boot/ |
H A D | arm_bootimage.c | 5 * the CPU driver into kernel virtual. It also constructs a multiboot image, 133 * information about the loaded image. */ 135 load(int in_fd, uint32_t vp_offset, struct loaded_image *image, argument 169 image->shstrtab_size= shstrshdr->sh_size; 170 image->shstrtab= malloc(image->shstrtab_size); 171 if(!image->shstrtab) fail_errno("malloc"); 172 memcpy(image->shstrtab, shstr, image->shstrtab_size); 180 image 505 add_blob(Elf *elf, const char *name, void *image, size_t size, paddr_t paddr) argument 543 add_image(Elf *elf, const char *name, struct loaded_image *image) argument 602 add_image_with_sections(Elf *elf, struct loaded_image *image) argument 732 add_tables(Elf *elf, struct loaded_image *image) argument [all...] |
/barrelfish-master/tools/ |
H A D | mkefi.py | 11 # Create a Barrelfish EFI image 31 parser.add_argument("image", help="image file to create") 33 help="files to include in the image", 36 parser.add_argument("--size", help="image size", type=int, default=200) 37 parser.add_argument("--create", help="create image, even if exists", 43 efi = harness.efiimage.EFIImage(args.image, args.size) 44 if args.create or not os.path.isfile(args.image):
|
H A D | qemu-wrapper.sh | 11 # Shell script for running Qemu with a Barrelfish image 44 echo " --hdfile <file> (hard disk image to be build for AHCI, defaults to $HDFILE" 47 echo " --image <file> (prebaked boot image, instead of kernel/initrd)" 94 "--image") 164 echo "Booting image: $IMAGE" 204 echo "Creating hard disk image $HDFILE" 227 -device virtio-blk-device,drive=image \ 228 -drive if=none,id=image,file=$IMAGE,format=raw"
|
/barrelfish-master/tools/arm_gem5/ |
H A D | boot_gem5.sh | 11 # Rudimentary wrapper script to boot ARM GEM5 with a Barrelfish image. 14 echo "*** Usage: $0 <machine-type> <boot-image-file> [<m5-path> <port>]" 25 echo "*** Usage: $0 <machine-type> <boot-image-file> [<m5-path> <port>]" 47 --disk-image="$M5_DIR/disks/linux-aarch32-ael.img" \
|
/barrelfish-master/include/ |
H A D | grubmenu.h | 32 char *image; member in struct:menu_lst
|
/barrelfish-master/tools/molly/ |
H A D | build_multiboot.c | 2 * M5 boot image tool. 13 * image that M5 can boot. 75 char cmd[1024], args[1024], image[1024]; local 79 cmd[0] = args[0] = image[0] = line[0] = '\0'; 82 sscanf(line, "%s %s %[^\n]", cmd, image, args); 85 kernel_symbol_prefix = get_symbol_name_prefix(image); 87 sprintf(kernel_cmd_line, "%s %s", image, args); 93 module_symbol_prefix[n_modules] = get_symbol_name_prefix(image); 95 sprintf(module_cmd_line[n_modules], "%s %s", image, args);
|
/barrelfish-master/tools/arm_molly/ |
H A D | build_multiboot.c | 2 * M5 boot image tool. 77 char cmd[1024], args[1024], image[1024]; local 81 cmd[0] = args[0] = image[0] = line[0] = '\0'; 88 sscanf(line, "%s %s %[^\n]", cmd, image, args); 91 kernel_symbol_prefix = get_symbol_name_prefix(image); 93 sprintf(kernel_cmd_line, "%s %s", image, args); 98 module_symbol_prefix[n_modules] = get_symbol_name_prefix(image); 100 sprintf(module_cmd_line[n_modules], "%s %s", image, args);
|
/barrelfish-master/lib/openssl-1.0.0d/demos/engines/rsaref/ |
H A D | build.com | 44 ; Transfer vector for VAX shareable image 73 ! Ensure transfer vector is at beginning of image 78 ! make psects nonshareable so image can be installed.
|
/barrelfish-master/usr/arrakismon/ |
H A D | vmkitmon.c | 58 uint8_t *image = malloc(info.size); local 59 if (image == NULL) { 66 err = vfs_read(fh, &image[pos], info.size - pos, &readlen); 69 free(image); 73 free(image); 93 /* spawn the image */ 96 err = spawn_load_image(&si, (lvaddr_t)image, info.size, CURRENT_CPU_TYPE, 100 free(image); 105 free(image);
|
/barrelfish-master/tools/armv8_bootimage/ |
H A D | armv8_bootimage.c | 2 * Create a blob with a Multiboot2 image for the ARMv8 platform 5 * and assemble them into a Multiboot2 image. Adds also relocation info for 191 // /* Boot driver module tag, including command line and ELF image */ 194 // /* CPU driver module tag, including command line and ELF image */ 396 * information about the loaded image. */ 398 struct loaded_image *image, int save_sections) 410 image->entry = ehdr->e_entry; 452 image->segment.buffer = p_buf; 453 image->segment.base = pa; 454 image 397 load(struct loaded_module *module, uint32_t vp_offset, struct loaded_image *image, int save_sections) argument [all...] |
/barrelfish-master/usr/monitor/ |
H A D | spawn.c | 215 * \brief Spawn the domain in the given image with the provided args 217 static errval_t spawn_image_with_args(const char *name, void *image, argument 226 err = spawn_load_image(&si, (lvaddr_t)image, imagelen, CURRENT_CPU_TYPE, 363 // find out where the image is 386 USER_PANIC_ERR(err, "allocating slot failed for spawnd image"); 394 // map the image in 396 void *image; local 397 err = vspace_map_one_frame(&image, spawnd_image.bytes, frame, NULL, NULL); 404 return spawn_image_with_args(argv[0], image, spawnd_image.bytes, argv,
|
/barrelfish-master/usr/drivers/omap44xx/fdif/ |
H A D | fdif.c | 197 * \brief Set image parameters 253 uint8_t *image; local 292 // Map space for image (as non-cacheable) 293 err = vspace_map_one_frame_attr((void **)&image, img_size, img_cap, 304 image[i] = lena_image.pixel_data[i];
|
/barrelfish-master/tools/harness/ |
H A D | efiimage.py | 17 def __init__(self, image, size): 21 self._image = image 145 description='Build EFI image for ARMv8') 148 p.add_argument('file', help='output image')
|
/barrelfish-master/usr/spawnd/ |
H A D | service.c | 58 uint8_t *image = malloc(info.size); local 59 if (image == NULL) { 66 err = vfs_read(fh, &image[pos], info.size - pos, &readlen); 69 free(image); 73 free(image); 93 /* spawn the image */ 96 err = spawn_load_image(&si, (lvaddr_t)image, info.size, CURRENT_CPU_TYPE, 100 free(image); 104 free(image);
|
/barrelfish-master/usr/eclipseclp/documents/applications/ |
H A D | Makefile | 119 rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.*
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | Makefile | 110 rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.*
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | Makefile | 129 rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.*
|
/barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
H A D | Makefile | 117 rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.* index.html
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | Makefile | 118 rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.* index.html
|
/barrelfish-master/usr/eclipseclp/documents/visualisation/ |
H A D | Makefile | 110 rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.* index.html
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/dso/ |
H A D | dso_beos.c | 71 #include <kernel/image.h>
|
/barrelfish-master/lib/openssl-1.0.0d/ssl/ |
H A D | install.com | 80 $! Shareable image.
|
/barrelfish-master/lib/openssl-1.0.0d/VMS/ |
H A D | mkshared.com | 183 ; Transfer vector for VAX shareable image 222 ! Ensure transfer vector is at beginning of image 229 ! make psects nonshareable so image can be installed.
|