CSE 598 Secure Microkernel Design - Spring 2025


Laboratory Exercises

There will be four projects to explore the concepts introduced in the course.

Location: Server & RTL Development TBD

  • Project 1: RISC-V instruction additions & LLVM compilation support.
  • Project 2: Simple microkernel design: writing, building, and loading a simple microkernel.
  • Project 3: Simple File System (SFS): Design and implementation of a simple UNIX-like file system with a hierarchical directory structure.
  • Project 4: Security and performance exploration on the final microkernel.