/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/predef/ |
H A D | os.h | 12 #include <msgpack/predef/os/aix.h> 13 #include <msgpack/predef/os/amigaos.h> 14 #include <msgpack/predef/os/android.h> 15 #include <msgpack/predef/os/beos.h> 16 #include <msgpack/predef/os/bsd.h> 17 #include <msgpack/predef/os/cygwin.h> 18 #include <msgpack/predef/os/haiku.h> 19 #include <msgpack/predef/os/hpux.h> 20 #include <msgpack/predef/os/irix.h> 21 #include <msgpack/predef/os/io [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
H A D | os.h | 8 #include <mini-os/hypervisor.h> 17 #include <mini-os/types.h> 18 #include <mini-os/kernel.h> 25 #include <mini-os/machine/os.h>
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/ |
H A D | __main__.py | 14 import sys, os namespace 16 sys.path.append(os.path.join(os.path.dirname(os.path.abspath(__file__)), '../../')) 17 sys.path.append(os.path.dirname(os.path.abspath(__file__))) 36 app.setWindowIcon(QtGui.QIcon(os.path.join(os.path.dirname(os.path.abspath(__file__)), 'Assests/VisualCAmkES.png')))
|
H A D | testvisualcamkes.py | 14 import sys, os namespace 18 sys.path.append(os.path.join(os.path.dirname(os.path.abspath(__file__)), '../../')) 19 sys.path.append(os.path.dirname(os.path.abspath(__file__))) 28 graph.ast = ASTModel.get_ast(os.path.join(os.path.dirname(os.path.abspath(__file__)), "../../../../apps/simple/simple.camkes"))
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
H A D | sched.c | 38 #include <mini-os/os.h> 39 #include <mini-os/hypervisor.h> 40 #include <mini-os/time.h> 41 #include <mini-os/mm.h> 42 #include <mini-os/types.h> 43 #include <mini-os/lib.h> 44 #include <mini-os/semaphore.h>
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/tests/ |
H A D | lintsource.py | 19 import os, re, sys, unittest namespace 22 ME = os.path.abspath(__file__) 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 29 CAMKES_LINT = os.path.join(os.path.dirname(ME), 39 srcdir = os.path.join(os.path.dirname(ME), '..') 42 for src in os.listdir(srcdir): 45 path = os [all...] |
H A D | lint.py | 19 import os, pylint, re, sys, unittest namespace 22 ME = os.path.abspath(__file__) 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 46 srcdir = os.path.join(os.path.dirname(ME), '..') 49 for src in os.listdir(srcdir): 52 path = os.path.abspath(os.path.join(srcdir, src))
|
H A D | testckeywords.py | 19 import os, subprocess, sys, tempfile, unittest namespace 21 ME = os.path.abspath(__file__) 24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 46 with open(os.devnull, 'wt') as f: 56 src = os.path.join(os.path.dirname(ME), '../../../tools/ckeywords.c') 57 assert os.path.exists(src) 60 aout = os.path.join(tmp, 'a.out')
|
/seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/ |
H A D | lintsource.py | 19 import os, re, sys, unittest namespace 22 ME = os.path.abspath(__file__) 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 29 CAMKES_LINT = os.path.join(os.path.dirname(ME), 39 srcdir = os.path.join(os.path.dirname(ME), '..') 42 for src in os.listdir(srcdir): 45 path = os [all...] |
H A D | lint.py | 19 import os, pylint, re, sys, unittest namespace 22 ME = os.path.abspath(__file__) 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 43 srcdir = os.path.join(os.path.dirname(ME), '..') 46 for src in os.listdir(srcdir): 49 path = os.path.abspath(os.path.join(srcdir, src))
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | lintsource.py | 19 import os, re, sys, unittest namespace 22 ME = os.path.abspath(__file__) 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 29 CAMKES_LINT = os.path.join(os.path.dirname(ME), 39 srcdir = os.path.join(os.path.dirname(ME), '..') 42 for src in os.listdir(srcdir): 45 path = os [all...] |
H A D | lint.py | 19 import os, pylint, re, sys, unittest namespace 22 ME = os.path.abspath(__file__) 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 43 srcdir = os.path.join(os.path.dirname(ME), '..') 46 for src in os.listdir(srcdir): 49 path = os.path.abspath(os.path.join(srcdir, src))
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/tests/ |
H A D | lint.py | 19 import os, pylint, re, sys, unittest namespace 22 ME = os.path.abspath(__file__) 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 28 sys.path.append(os.path.join(os.path.dirname(ME), '../../../../python-capdl')) 46 srcdir = os.path.join(os.path.dirname(ME), '..') 49 for src in os.listdir(srcdir): 52 path = os [all...] |
H A D | lintsource.py | 19 import os, re, sys, unittest namespace 22 ME = os.path.abspath(__file__) 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 29 CAMKES_LINT = os.path.join(os.path.dirname(ME), 39 srcdir = os.path.join(os.path.dirname(ME), '..') 42 for src in os.listdir(srcdir): 45 path = os [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ |
H A D | lintsource.py | 19 import os, re, sys, unittest namespace 22 ME = os.path.abspath(__file__) 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 29 CAMKES_LINT = os.path.join(os.path.dirname(ME), 39 srcdir = os.path.join(os.path.dirname(ME), '..') 42 for src in os.listdir(srcdir): 45 path = os [all...] |
H A D | jinja_lint.py | 23 import os, re, subprocess, sys, unittest namespace 25 ME = os.path.abspath(__file__) 28 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 35 self.lint = os.path.join(os.path.dirname(ME), 37 self.assertTrue(os.access(self.lint, os.X_OK), 52 template_dir = os.path.abspath(os [all...] |
H A D | testbadidioms.py | 23 import os, re, subprocess, sys, unittest namespace 25 ME = os.path.abspath(__file__) 28 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 47 template_dir = os.path.abspath(os.path.join(os.path.dirname(ME), '..')) 48 tests_dir = os.path.dirname(ME) 51 for root, _, filenames in os.walk(template_dir): 63 path = os [all...] |
H A D | lint.py | 19 import os, pylint, re, sys, unittest namespace 22 ME = os.path.abspath(__file__) 25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 43 srcdir = os.path.join(os.path.dirname(ME), '..') 46 for src in os.listdir(srcdir): 49 path = os.path.abspath(os.path.join(srcdir, src))
|
H A D | jinja_pylint.py | 23 import os, re, subprocess, sys, unittest namespace 25 ME = os.path.abspath(__file__) 28 sys.path.append(os.path.join(os.path.dirname(ME), '../../..')) 35 self.lint = os.path.join(os.path.dirname(ME), 37 self.assertTrue(os.access(self.lint, os.X_OK), 77 template_dir = os.path.abspath(os [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/pci/ |
H A D | rumphyper_dma.c | 26 #include <mini-os/os.h> 27 #include <mini-os/ioremap.h> 28 #include <mini-os/pcifront.h> 29 #include <mini-os/events.h> 30 #include <mini-os/mm.h> 31 #include <mini-os/hypervisor.h>
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
H A D | config.sub | 123 os=-$maybe_os 127 os=-linux-android 133 then os=`echo $1 | sed 's/.*-/-/'` 134 else os=; fi 142 case $os in 143 -sun*os*) 153 os= 157 os=-cnk 160 os= 166 os [all...] |
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/ |
H A D | config.sub | 123 os=-$maybe_os 127 os=-linux-android 133 then os=`echo $1 | sed 's/.*-/-/'` 134 else os=; fi 142 case $os in 143 -sun*os*) 153 os= 157 os=-cnk 160 os= 166 os [all...] |
/seL4-camkes-master/tools/riscv-pk/scripts/ |
H A D | config.sub | 122 os=-$maybe_os 126 os=-linux-android 132 then os=`echo "$1" | sed 's/.*-/-/'` 133 else os=; fi 141 case $os in 142 -sun*os*) 152 os= 156 os=-cnk 159 os= 165 os [all...] |
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/doc/ |
H A D | conf.py | 14 import sys, os namespace 18 # documentation root, use os.path.abspath to make it absolute, like shown here. 19 sys.path.insert(0, os.path.abspath('ext'))
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | kernel.c | 30 #include <mini-os/os.h> 31 #include <mini-os/hypervisor.h> 32 #include <mini-os/mm.h> 33 #include <mini-os/events.h> 34 #include <mini-os/time.h> 35 #include <mini-os/types.h> 36 #include <mini-os/lib.h> 37 #include <mini-os/xenbus.h> 38 #include <mini-os/gntta [all...] |