Anyone know which kernel version the RoboRio is running?

I know it’s ‘NI Realtime Linux’, but that’s not what I’m looking for. Does anyone know which kernel version they based their stuff on?

3.2 kernel (3.2.35-rt52-2.0.0a4 #1 SMP PREEMPT RT armv7l) and its based on OpenEmbeded/Angstrom (it has opkg (dpkg-like) package management). Uses busybox for most things.

Cool thanks!