l4/tool/dice/examples/pagefault/idl
