VML is an open source project maintained by BlueRock Security and we welcome all contributions. Contributions will need to adhere to the exisiting license of VML.
We would also like to address a special thanks to our contributors:
- Genode (genode.org) for their contribution to the project. In particular, Genode provided the initial GIC model, MSR emulation, pl011, interrupt injection and abstract CPU model that served as a base for the current version of the code.