Searched refs:capdl (Results 1 - 25 of 27) sorted by relevance

12

/seL4-camkes-master/projects/capdl/python-capdl-tool/examples/
H A Dto-capdl.py12 import capdl namespace
15 elf = capdl.ELF('../tests/arm-elf/hello.bin')
H A Dcapdl-manipulation.py12 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 Dallocation.py15 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 Dconstruct-address-space.py12 import capdl namespace
15 pc = capdl.create_address_space([
/seL4-camkes-master/projects/capdl/python-capdl-tool/tests/
H A Dtestmerge.py11 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__.py13 from capdl import register_object_sizes
H A Dtestelf.py13 from capdl import ELF
H A Dallocator.py16 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 Dcapdl.h9 #include <machine/capdl.h>
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dcapdl.h9 #include <machine/capdl.h>
/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dcapdl.c8 #include <arch/machine/capdl.h>
/seL4-camkes-master/projects/camkes/apps/debug-simple/
H A Ddebug-simple.tcl14 set capdl_image_name capdl-loader-image-ia32-pc99
/seL4-camkes-master/projects/camkes-tool/
H A Dalltests.py22 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 Duntyped_gen.py20 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 Dcapdl_linker.py9 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 DContext.py29 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__.py29 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 Dcapdl.c11 #include <machine/capdl.h>
12 #include <arch/machine/capdl.h>
/seL4-camkes-master/projects/capdl/capDL-tool/
H A DMakefile22 which xmllint && xmllint --noout --dtdvalid ./capdl.dtd $*.xml
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DCap.py10 from capdl.Object import Object, Frame, CNode, Endpoint, Notification, SchedControl
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py24 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 Dcapdl.c7 #include <machine/capdl.h>
/seL4-camkes-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c8 #include <arch/machine/capdl.h>
/seL4-camkes-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c8 #include <arch/machine/capdl.h>
/seL4-camkes-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c8 #include <arch/machine/capdl.h>

Completed in 204 milliseconds

12