I would like to use the sel4.xml API description files to generate custom bindings for a
prototype language to interact directly with seL4 without going through libsel4 C API.
I assume that the structure of these files could change, which I'm willing to accept,
but wanted to know if these files are here to stay in the future?
I understand also that I will still have to parse libsel4 C headers to recover the full
API which I'm fine with too.
Do you see any trouble following this approach or would you recommend something else?