/seL4-camkes-master/projects/capdl/python-capdl-tool/examples/ |
H A D | to-capdl.py | 12 import capdl namespace 15 elf = capdl.ELF('../tests/arm-elf/hello.bin')
|
H A D | capdl-manipulation.py | 12 import capdl namespace 15 tcb = capdl.TCB('my_tcb') 23 ep = capdl.Endpoint('my_ep') 26 ep_cap = capdl.Cap(ep) 30 cspace = capdl.CNode('my_cnode', 28) # <-- size in bits 31 vspace = capdl.PageDirectory('my_pd') 32 tcb['cspace'] = capdl.Cap(cspace) 33 tcb['vspace'] = capdl.Cap(vspace) 36 ut = capdl.Untyped('my_ut', 10) # <-- size in bits 37 cspace[1] = capdl [all...] |
H A D | allocation.py | 15 import capdl namespace 18 obj_allocator = capdl.ObjectAllocator() 22 my_cnode = obj_allocator.alloc(capdl.ObjectType.seL4_CapTableObject, size_bits=28) 26 cap_allocator = capdl.CSpaceAllocator(my_cnode) 27 my_tcb = obj_allocator.alloc(capdl.ObjectType.seL4_TCBObject) 32 spec = capdl.Spec()
|
H A D | construct-address-space.py | 12 import capdl namespace 15 pc = capdl.create_address_space([
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/tests/ |
H A D | testmerge.py | 11 import capdl namespace 18 a = capdl.TCB('foo') 19 b = capdl.TCB('bar') 21 spec1 = capdl.Spec() 22 spec2 = capdl.Spec() 26 spec1 = capdl.Spec() 28 spec2 = capdl.Spec() 32 spec1 = capdl.Spec() 34 spec2 = capdl.Spec()
|
H A D | __init__.py | 13 from capdl import register_object_sizes
|
H A D | testelf.py | 13 from capdl import ELF
|
H A D | allocator.py | 16 from capdl import Spec, Untyped, Endpoint, IRQControl, Frame 17 from capdl.Allocator import BestFitAllocator, AllocatorException 18 from capdl.util import round_up
|
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/ |
H A D | capdl.h | 9 #include <machine/capdl.h>
|
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/ |
H A D | capdl.h | 9 #include <machine/capdl.h>
|
/seL4-camkes-master/kernel/src/arch/x86/machine/ |
H A D | capdl.c | 8 #include <arch/machine/capdl.h>
|
/seL4-camkes-master/projects/camkes/apps/debug-simple/ |
H A D | debug-simple.tcl | 14 set capdl_image_name capdl-loader-image-ia32-pc99
|
/seL4-camkes-master/projects/camkes-tool/ |
H A D | alltests.py | 22 import capdl namespace 45 parser.add_argument('--capdl-python', help='Deprecated. Using this argument has no effect.')
|
/seL4-camkes-master/projects/capdl/cdl_utils/ |
H A D | untyped_gen.py | 20 from capdl import register_object_sizes 21 from capdl.ELF import ELF 22 from capdl.Object import get_object_size_bits, ObjectType 23 from capdl.util import ctz, valid_architectures, lookup_architecture, round_down, round_up, PAGE_SIZE
|
H A D | capdl_linker.py | 9 from capdl.Object import register_object_sizes, Untyped 10 from capdl.Allocator import ASIDTableAllocator, BestFitAllocator 11 from capdl import ELF, lookup_architecture, TCB, valid_architectures 46 Generates a final CapDL spec file that can be given to a capdl loader application
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | Context.py | 29 import capdl namespace 39 from capdl.Object import ObjectType, ObjectRights, ARMIRQMode 40 from capdl.Allocator import Cap 41 from capdl import page_sizes 44 # There are separate python-capdl branches for this, but this import allows us 47 from capdl.Allocator import seL4_ASID_Pool 254 'capdl': capdl, 274 'is_IRQ_object': lambda obj: isinstance(obj, capdl.IRQ), 275 'is_ASIDPool_object': lambda obj: isinstance(obj, capdl [all...] |
H A D | __main__.py | 29 from capdl import ObjectType, ObjectAllocator, CSpaceAllocator, \ 32 from capdl.Allocator import RenderState 50 from capdl.Object import register_object_sizes
|
/seL4-camkes-master/kernel/src/arch/riscv/machine/ |
H A D | capdl.c | 11 #include <machine/capdl.h> 12 #include <arch/machine/capdl.h>
|
/seL4-camkes-master/projects/capdl/capDL-tool/ |
H A D | Makefile | 22 which xmllint && xmllint --noout --dtdvalid ./capdl.dtd $*.xml
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | Cap.py | 10 from capdl.Object import Object, Frame, CNode, Endpoint, Notification, SchedControl
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | macros.py | 24 from capdl import ASIDPool, CNode, Endpoint, Frame, IODevice, IOPageTable, \ 27 from capdl.util import ctz 28 from capdl.Object import get_libsel4_constant
|
/seL4-camkes-master/kernel/src/machine/ |
H A D | capdl.c | 7 #include <machine/capdl.h>
|
/seL4-camkes-master/kernel/src/arch/arm/64/machine/ |
H A D | capdl.c | 8 #include <arch/machine/capdl.h>
|
/seL4-camkes-master/kernel/src/arch/arm/32/machine/ |
H A D | capdl.c | 8 #include <arch/machine/capdl.h>
|
/seL4-camkes-master/kernel/src/arch/x86/64/machine/ |
H A D | capdl.c | 8 #include <arch/machine/capdl.h>
|