LekaOS is Leka's firmware based on Mbed OS - View it on GitHub