Hi,
I wonder, should the following people be added as reviewers to the VMM related seL4 GIT repos:
- Everton de Matos (@evermatos)
- Hannu Lyytinen (@hlyytine)
- Jorge Pereira
The reviewer role would currently apply to all repositories, but if you want to nominate and all three would be happy to take on the role, I’d be happy to raise that to the TSC.