Ultra light weight small device firmware. Well architected to support MMU, SMP, low power idle. Can be run on various CPU architectures. - View it on GitHub