XML
Genode parses all configuration in XML format, which is a minor improvement over the ramshackle Unix formats, but otherwise wrong because there is no overlap between configuration and markup. The language simply does not support the concept of true and false, nor any category of numbers. Abstraction is necessary but a poor solution because XML is difficult to formally model.
Does this person know that XSD exist for that?
Also, if the person needs something, why don't ask for it in general?
To be exact, if I knew this I could have tried to share some resources. Not money but access to servers or computers to use them as servers itself.