Hacker News Reader

> Raspberry Pi 2 booting in 2.9 seconds

Has the kernel they mention been released anywhere?

I would start with rpi-buildroot and build up from there. If you have low latency audio questions feel free to email me.