Vagrantfile to easily put up development environment for Open-TEE project