| /seL4-refos-master/kernel/tools/dts/ |
| H A D | update-dts.sh | 69 dtb=`echo $1| sed 's/=.*$//'`
71 echo "'$dtb'" = "'$platform'"
72 dtc -I dtb -O dts -o $2/$platform.dts.tmp $3/$dtb.dtb
|
| /seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/ |
| H A D | elfloader.h | 14 paddr_t dtb, uint32_t dtb_size);
|
| /seL4-refos-master/tools/elfloader/include/arch-arm/ |
| H A D | elfloader.h | 14 paddr_t dtb, uint32_t dtb_size);
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/ |
| H A D | sys_boot.c | 32 void *dtb; variable
144 printf(" dtb=%p\n", dtb);
150 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
222 user_info.virt_entry, (paddr_t)dtb, dtb_size);
|
| H A D | smp_boot.c | 25 extern void *dtb;
57 user_info.virt_entry, (paddr_t)dtb, dtb_size);
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/ |
| H A D | sys_boot.c | 32 void *dtb; variable
144 printf(" dtb=%p\n", dtb);
150 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
222 user_info.virt_entry, (paddr_t)dtb, dtb_size);
|
| H A D | smp_boot.c | 25 extern void *dtb;
57 user_info.virt_entry, (paddr_t)dtb, dtb_size);
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/ |
| H A D | common.c | 312 void *dtb = NULL; local
323 dtb = cpio_get_file(_archive_start, cpio_len, "kernel.dtb", &unused);
324 if (dtb == NULL) {
328 printf("found at %p.\n", dtb);
333 if (chosen_dtb && !dtb && bootloader_dtb) {
335 dtb = bootloader_dtb;
341 if (dtb) {
345 *chosen_dtb_size = fdt_size(dtb);
355 memmove((void *)next_phys_addr, dtb, *chosen_dtb_siz
[all...] |
| /seL4-refos-master/tools/elfloader/src/ |
| H A D | common.c | 312 void *dtb = NULL; local
323 dtb = cpio_get_file(_archive_start, cpio_len, "kernel.dtb", &unused);
324 if (dtb == NULL) {
328 printf("found at %p.\n", dtb);
333 if (chosen_dtb && !dtb && bootloader_dtb) {
335 dtb = bootloader_dtb;
341 if (dtb) {
345 *chosen_dtb_size = fdt_size(dtb);
355 memmove((void *)next_phys_addr, dtb, *chosen_dtb_siz
[all...] |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/ |
| H A D | boot.c | 61 void *dtb = NULL; variable
167 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
189 (paddr_t) dtb, dtb_size
214 (paddr_t) dtb, dtb_size
|
| /seL4-refos-master/tools/elfloader/src/arch-riscv/ |
| H A D | boot.c | 61 void *dtb = NULL; variable
167 load_images(&kernel_info, &user_info, 1, &num_apps, bootloader_dtb, &dtb, &dtb_size);
189 (paddr_t) dtb, dtb_size
214 (paddr_t) dtb, dtb_size
|
| /seL4-refos-master/seL4_tools/elfloader-tool/include/ |
| H A D | elfloader_common.h | 59 extern void *dtb;
|
| /seL4-refos-master/tools/elfloader/include/ |
| H A D | elfloader_common.h | 59 extern void *dtb;
|
| /seL4-refos-master/kernel/tools/ |
| H A D | hardware_gen.py | 50 parsed_dt = fdt.FdtParser(args.dtb)
67 parser.add_argument('--dtb', help='device tree blob to parse for generation',
|