Kevin Chen
640x480 VGA 16-color mode
Fall 2021
tags: computer graphics
Implemented a VGA 640×480 16-color mode in mCertiKOS, a fully verified operating system.
Implemented a user-space syscall with memory-mapped VGA buffer.
The following video showcases the VGA 16-color mode by demoing bitmap font rendering, working 16-color support, keyboard input, the Mandelbrot set, and an animation.
Final project for CPSC 422 at Yale, Operating Systems.