[seL4] capDL configuration file

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