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

Norrathep (Oak) Rattanavipanon

M.S. in Computer Science

University of California - Irvine