geckOS is a minimal embedded operating system for programmable devices that facilitates the development of applications by abstracting away interaction with the device’s hardware. It currently supports USB-enabled Silicon Labs energy-friendly 32-bit microcontrollers.