Maybe you should look at TockOS[1].

[1]: https://www.tockos.org/