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.

Demo of VGA 16-color mode