capdl

capdl copied to clipboard

Instead of minting new endpoint caps with the required badge and rights, we use seL4_TCB_SetSchedParams and seL4_TCB_SetTimeoutEndpoint to set them for us. See https://sel4.atlassian.net/browse/RFC-11 for more information about this proposal.

corlewis

parse-capDL creates invalid dot file

2

`parse-capDL --dot ...`creates invalid dot file. Seems the problem is, that there are lines containing a quoted filename within a quoted string, which `dot` can't process. ``` "frame_ticker_group_bin_0000" [label =...

axel-h

`find_device_object` searches through the device untypeds, and then when it reaches the correct object, retypes a single page until the proper physical address is found. This isn't a huge deal...

chrisguikema

capdl/capdl-loader-app/src/main.c:1522:27: error: ‘memory_region’ undeclared (first use in this function)

1

I'm getting this error while compiling this file as part of this project (https://docs.sel4.systems/projects/sel4webserver/). This is the error: ``` [30/79] Building C object CMakeFiles/capdl-loader.dir/home/hugo/sel4_linux_guest_qemu_virt/projects/capdl/capdl-loader-app/src/main.c.obj FAILED: CMakeFiles/capdl-loader.dir/home/hugo/sel4_linux_guest_qemu_virt/projects/capdl/capdl-loader-app/src/main.c.obj /usr/bin/ccache /usr/bin/aarch64-linux-gnu-gcc --sysroot=/home/hugo/sel4_linux_guest_qemu_virt/build -I/home/hugo/sel4_linux_guest_qemu_virt/projects/capdl/capdl-loader-app/include...

hugusmaximus