Nice find - so a real time Linux kernel for ARM already exists, and runs on a board with half the SDRAM of the RPi.