/seL4-refos-master/projects/refos/impl/apps/selfloader/ |
H A D | Makefile | 14 TARGETS := selfloader.bin
|
/seL4-refos-master/projects/refos/impl/apps/snake/ |
H A D | Makefile | 14 TARGETS := snake.bin
|
/seL4-refos-master/projects/refos/impl/apps/terminal/ |
H A D | Makefile | 14 TARGETS := terminal.bin
|
/seL4-refos-master/projects/refos/impl/apps/test_os/ |
H A D | Makefile | 14 TARGETS := test_os.bin
|
/seL4-refos-master/projects/refos/impl/apps/test_user/ |
H A D | Makefile | 14 TARGETS := test_user.bin
|
/seL4-refos-master/projects/refos/impl/apps/tetris/ |
H A D | Makefile | 14 TARGETS := tetris.bin
|
/seL4-refos-master/apps/selfloader/ |
H A D | Makefile | 14 TARGETS := selfloader.bin
|
/seL4-refos-master/apps/snake/ |
H A D | Makefile | 14 TARGETS := snake.bin
|
/seL4-refos-master/apps/terminal/ |
H A D | Makefile | 14 TARGETS := terminal.bin
|
/seL4-refos-master/apps/test_os/ |
H A D | Makefile | 14 TARGETS := test_os.bin
|
/seL4-refos-master/apps/test_user/ |
H A D | Makefile | 14 TARGETS := test_user.bin
|
/seL4-refos-master/apps/tetris/ |
H A D | Makefile | 14 TARGETS := tetris.bin
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | dma330.h | 82 * @param[out] bin The resulting binary program 85 int dma330_compile(char* source_code, void* bin); 91 * @param[out] bin An address to store the compiled dma330 program to 93 void dma330_copy_compile(int channel, void* bin);
|
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | dma330.h | 82 * @param[out] bin The resulting binary program 85 int dma330_compile(char* source_code, void* bin); 91 * @param[out] bin An address to store the compiled dma330 program to 93 void dma330_copy_compile(int channel, void* bin);
|
/seL4-refos-master/projects/refos/impl/apps/file_server/ |
H A D | Makefile | 14 TARGETS := file_server.bin
|
/seL4-refos-master/apps/file_server/ |
H A D | Makefile | 14 TARGETS := file_server.bin
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | dma330.c | 445 uint8_t* bin = (uint8_t*)vbin; local 447 printf("DMAC program @ 0x%08x", (uint32_t)bin); 448 while ((bin[0] | bin[1] | bin[2] | bin[3] | bin[4] | bin[5]) != 0) { 452 printf("0x%02x ", *bin++); 626 dma330_compile(char* source_code, void* bin) argument 648 uint8_t* bin = (uint8_t*)vbin; local 673 char* bin = (char*)vbin; local [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | dma330.c | 445 uint8_t* bin = (uint8_t*)vbin; local 447 printf("DMAC program @ 0x%08x", (uint32_t)bin); 448 while ((bin[0] | bin[1] | bin[2] | bin[3] | bin[4] | bin[5]) != 0) { 452 printf("0x%02x ", *bin++); 626 dma330_compile(char* source_code, void* bin) argument 648 uint8_t* bin = (uint8_t*)vbin; local 673 char* bin = (char*)vbin; local [all...] |
/seL4-refos-master/seL4_tools/misc/ |
H A D | cobbler | 0 #!/bin/sh 31 SYSLINUXDIR=`echo $SYSLINUX | sed 's:/bin/:/share/:'` 39 if [ -f "$SYSLINUXDIR"/mbr.bin ] 42 MBR="$SYSLINUXDIR"/mbr.bin 46 MBR="$SYSLINUXDIR"/mbr/mbr.bin 50 echo >&2 "Can't find mbr.bin. Is syslinux installed?" 54 trap "rm -f mtoolsrc syslinux.cfg mbr.bin" 0 99 # Get mbr.bin and blow up/cut down to 512 bytes (required by mtools) 100 cat "$MBR" /dev/zero 2>/dev/null | head -c 512 > mbr.bin 108 mpartition -I -B mbr.bin [all...] |
/seL4-refos-master/projects/refos/impl/apps/console_server/ |
H A D | Makefile | 14 TARGETS := console_server.bin
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/ |
H A D | Makefile | 14 TARGETS := timer_server.bin
|
/seL4-refos-master/apps/console_server/ |
H A D | Makefile | 14 TARGETS := console_server.bin
|
/seL4-refos-master/apps/timer_server/ |
H A D | Makefile | 14 TARGETS := timer_server.bin
|
/seL4-refos-master/projects/refos/impl/ |
H A D | Makefile | 34 $(patsubst %, ${STAGE_BASE}/bin/%,$^) 43 $(patsubst %, ${STAGE_BASE}/bin/%,$^) \ 55 ${STAGE_BASE}/bin/process_server \ 65 cp -f ${STAGE_BASE}/bin/process_server ${IMAGE_ROOT}/refos-image
|
/seL4-refos-master/projects/refos/impl/apps/nethack/ |
H A D | Makefile | 14 TARGETS := nethack.bin
|