diff options
author | Tim Hatch <tim@timhatch.com> | 2016-06-03 11:49:39 -0700 |
---|---|---|
committer | Tim Hatch <tim@timhatch.com> | 2016-06-03 11:49:39 -0700 |
commit | 7c889a5a92b8622bf56b3d8f6a9953bba49ce5e8 (patch) | |
tree | ee7113628aa1d62d8d64dbd7ee7616ee7a9169ab /tests/examplefiles/capdl_example.cdl | |
parent | 2030bc55da7b11c58cd6f25d113f85da8bbff28c (diff) | |
parent | 0c6fd9c498d161cfdf29e442a218f78f2f211778 (diff) | |
download | pygments-7c889a5a92b8622bf56b3d8f6a9953bba49ce5e8.tar.gz |
Merged in pull request #595 (cmrx64/pygments-main)
Diffstat (limited to 'tests/examplefiles/capdl_example.cdl')
-rw-r--r-- | tests/examplefiles/capdl_example.cdl | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/tests/examplefiles/capdl_example.cdl b/tests/examplefiles/capdl_example.cdl new file mode 100644 index 00000000..050e56a6 --- /dev/null +++ b/tests/examplefiles/capdl_example.cdl @@ -0,0 +1,64 @@ +#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) + } +} |