Projects for Graduate Operating Systems