I'm teaching an OS course for the first time, and I'm looking for some good student projects. Has anyone on the list used OSKit for student projects in an OS course? If so, how did it work out, and do you have any recommendations for others thinking of doing the same?