Searched refs:bin (Results 1 - 25 of 45) sorted by relevance

12

/seL4-refos-master/projects/refos/impl/apps/selfloader/
H A DMakefile14 TARGETS := selfloader.bin
/seL4-refos-master/projects/refos/impl/apps/snake/
H A DMakefile14 TARGETS := snake.bin
/seL4-refos-master/projects/refos/impl/apps/terminal/
H A DMakefile14 TARGETS := terminal.bin
/seL4-refos-master/projects/refos/impl/apps/test_os/
H A DMakefile14 TARGETS := test_os.bin
/seL4-refos-master/projects/refos/impl/apps/test_user/
H A DMakefile14 TARGETS := test_user.bin
/seL4-refos-master/projects/refos/impl/apps/tetris/
H A DMakefile14 TARGETS := tetris.bin
/seL4-refos-master/apps/selfloader/
H A DMakefile14 TARGETS := selfloader.bin
/seL4-refos-master/apps/snake/
H A DMakefile14 TARGETS := snake.bin
/seL4-refos-master/apps/terminal/
H A DMakefile14 TARGETS := terminal.bin
/seL4-refos-master/apps/test_os/
H A DMakefile14 TARGETS := test_os.bin
/seL4-refos-master/apps/test_user/
H A DMakefile14 TARGETS := test_user.bin
/seL4-refos-master/apps/tetris/
H A DMakefile14 TARGETS := tetris.bin
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/
H A Ddma330.h82 * @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 Ddma330.h82 * @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 DMakefile14 TARGETS := file_server.bin
/seL4-refos-master/apps/file_server/
H A DMakefile14 TARGETS := file_server.bin
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Ddma330.c445 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 Ddma330.c445 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 Dcobbler0 #!/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 DMakefile14 TARGETS := console_server.bin
/seL4-refos-master/projects/refos/impl/apps/timer_server/
H A DMakefile14 TARGETS := timer_server.bin
/seL4-refos-master/apps/console_server/
H A DMakefile14 TARGETS := console_server.bin
/seL4-refos-master/apps/timer_server/
H A DMakefile14 TARGETS := timer_server.bin
/seL4-refos-master/projects/refos/impl/
H A DMakefile34 $(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 DMakefile14 TARGETS := nethack.bin

Completed in 84 milliseconds

12