Week 3 is underway, and the students are starting to get into the meat of their projects:

• Daniel Flores: HAMMER2 compression feature
• Larisa Grigore: System V IPC in userspace
• Pawel Dziepak: Make vkernels checkpointable
• Joris GIOVANNANGELI: Capsicum
• Mihai Carabas: hardware nested page table support for vkernels