You might want to give eCos a try. This should be runnable on a Raspberry. I managed to port Luvit (Luas NodeJS) in a few days. Then you should have a system booting within 500ms.

https://ecos.sourceware.org/ https://github.com/luvit/luvit

Sadly there is not a really big community around both of these.