capdl
capdl copied to clipboard
seL4
Capability Distribution Language tools for seL4
Use new dedicated API `sel4muslcsys_setup_morecore_region()` for heap setup. This avoid hard-coding assumption about the implementation and variable names. Test with: ... tbd ... https://github.com/Hensoldt-Cyber/seL4_libs/tree/patch-axel-11
With https://github.com/seL4/seL4/pull/580 the ARMv6 support has been removed. Thus there's no reason to accept "arm11" here any longer.
- Avoid implicit behavior. All scripts use an explicit parameter anyway. - remove type enforcement, string is default anyway
This will be required by [Microkit](https://github.com/seL4/microkit).
https://github.com/seL4/capdl/pull/12 (authored by me - sorry) introduced an inconsistency in macro capitalization in `capdl-loader-app`. This trivial change corrects it.
The capdl-loader-app has previously used a non-conventional CMake pattern for building. As the app is built with the capDL spec and ELF files for any program data the loader is...
I'm a but confused about what commit e08dbb41154a0cfbb5c3560b86564908cf88bc66 added. Looking at https://github.com/seL4/capdl/blob/e082ee71297605ca2bde2fefc051a611a3cad57e/capdl-loader-app/include/capdl.h#L169-L185, there is a block for `CONFIG_VTX` within a `CONFIG_ARCH_ARM` block. Looks to me as if `CDL_VCPU` is never...
The main driver behind these changes are to allow the camkes tool to map specific stream id's to specific context banks for passthrough devices within a camkes vm application configuration....
The capdl_spec.c file is generated by capDL-tool and is compiled into the capdl-loader-app program to define the system that the loader will load. The file is supposed to only be...