George Fang and Luke Andresen's Duke ECE 350 Final Project: Tetris.
Rust seL4 modified to support rotate