Searched refs:OS (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/tools/cogent/
H A Dconfig.mk11 OS:=darwin macro
13 OS:=windows macro
15 OS:=windows macro
17 OS:=windows macro
19 OS:=unix macro
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A DMakefile15 # Run `make OS=linux' or `make OS=sel4' or
16 # export OS environment variable
17 OS=linux macro
22 OS_PATH=os/$(OS)
35 ifeq ($(OS),linux)
39 ifeq ($(OS),sel4)
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Dconfig.guess200 # The OS release
312 *:OS/390:*:*)
802 i*86:BSD/386:*:* | i*86:BSD/OS:*:* | *:Ascend\ Embedded/OS:*:*)
805 sparc*:BSD/OS:*:*)
808 *:BSD/OS:*:*)
1042 i*86:OS/2:*:*)
1208 news*:NEWS-OS:6*:*)
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/
H A Dconfig.guess200 # The OS release
312 *:OS/390:*:*)
802 i*86:BSD/386:*:* | i*86:BSD/OS:*:* | *:Ascend\ Embedded/OS:*:*)
805 sparc*:BSD/OS:*:*)
808 *:BSD/OS:*:*)
1042 i*86:OS/2:*:*)
1208 news*:NEWS-OS:6*:*)
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h87 uint8_t OS : 1; member in struct:__anon545::__anon546::__anon547::__anon548
H A Dsel4bench.h196 evtsel_msr.OS = 1;
/seL4-camkes-master/tools/riscv-pk/scripts/
H A Dconfig.guess224 # The OS release
343 *:OS/390:*:*)
834 i*86:BSD/386:*:* | i*86:BSD/OS:*:* | *:Ascend\ Embedded/OS:*:*)
837 sparc*:BSD/OS:*:*)
840 *:BSD/OS:*:*)
1068 i*86:OS/2:*:*)
1234 news*:NEWS-OS:6*:*)
1312 # Avoid executing cc on OS X 10.9, as it ships with a stub
1314 # developer tools. Any system running Mac OS
[all...]

Completed in 114 milliseconds