diff options
author | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
---|---|---|
committer | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
commit | 1dd3124a9770e11b6684e5dd1e6bc15a0aa3bc67 (patch) | |
tree | 87a171383266dd1f64196589af081bc2f8e497c3 /tests/examplefiles/capdl_example.cdl | |
parent | f1c080e184dc1bbc36eaa7cd729ff3a499de568a (diff) | |
download | pygments-1dd3124a9770e11b6684e5dd1e6bc15a0aa3bc67.tar.gz |
Diffstat (limited to 'tests/examplefiles/capdl_example.cdl')
-rw-r--r-- | tests/examplefiles/capdl_example.cdl | 64 |
1 files changed, 0 insertions, 64 deletions
diff --git a/tests/examplefiles/capdl_example.cdl b/tests/examplefiles/capdl_example.cdl deleted file mode 100644 index 050e56a6..00000000 --- a/tests/examplefiles/capdl_example.cdl +++ /dev/null @@ -1,64 +0,0 @@ -#ifdef ARCH_ARM -arch arm11 -#else -arch ia32 -#endif - -objects { - my_ep = ep /* A synchronous endpoint */ - - /* Two thread control blocks */ - tcb1 = tcb - tcb2 = tcb - - /* Four frames of physical memory */ - frame1 = frame (4k) - frame2 = frame (4k) - frame3 = frame (4k) - frame4 = frame (4k) - - /* Two page tables */ - pt1 = pt - pt2 = pt - - /* Two page directories */ - pd1 = pd - pd2 = pd - - /* Two capability nodes */ - cnode1 = cnode (2 bits) - cnode2 = cnode (3 bits) -} -caps { - cnode1 { - 0x1: frame1 (RW) /* read/write */ - 0x2: my_ep (R) /* read-only */ - } - cnode2 { - 0x1: my_ep (W) /* write-only */ - } - tcb1 { - vspace: pd1 - ipc_buffer_slot: frame1 - cspace: cnode1 - } - pd1 { - 0x10: pt1 - } - pt1 { - 0x8: frame1 (RW) - 0x9: frame2 (R) - } - tcb2 { - vspace: pd2 - ipc_buffer_slot: frame3 - cspace: cnode2 - } - pd2 { - 0x10: pt2 - } - pt2 { - 0x10: frame3 (RW) - 0x12: frame4 (R) - } -} |