So I was reading capDL paper and it mentions about having a human-readable XML file for configuration of the initial thread which allows the system initialize into a know state.
I assume this is not specific to camkes. so is there any way I can see/get the XML file and the code that generates it in the regular seL4?
Thanks, Oak