640x480 VGA 16-color Mode
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, keyboard input, the Mandelbrot set, and an animated video.
Final project for CPSC 422 at Yale, Operating Systems.