Parsing, transformation and validation for feL4 configuration data - View it on GitHub