Frosted is an acronym that means “Free Operating Systems for Tiny Embedded Devices”. The goal of this project is to provide a Free (as in Freedom) kernel for embedded systems, which exposes a POSIX-compliant system call API.


  • The project borrows Linux Kernel’s kconfig to allow for a graphic configuration and selection of the components.

Frosted Platforms

  • ARM

Frosted Components

  • None