The CleanQ Project
Repositories:
https://github.com/CleanQ-Project
Group Website:
https://systems.ethz.ch