Lasse and I would be interested in porting the hypervisor to raspberry pi. If you have any links or documents that you think could help that would be great. Thanks!