(Distributed) Operating Systems research  projects
