Zephyr project..

http://slowbootkernelhacks.blogspot.com/2017/03/zephyr-project.html