Add people to reviewer role


I wonder, should the following people be added as reviewers to the VMM related seL4 GIT repos:

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.