GarlicOS is a functional operating system for the Nintendo DS, built in C and ARM assembly for the Operating Systems Structure course of the URV Computer Science degree. It executes binary programs and exposes an API for memory management, a virtual keyboard, windowed graphics and process multiplexing.