I would love to see this updated with information on building a realtime Linux (which is now officially supported). I have in mind some hand-held devices that w

I would love to see this updated with information on building a realtime Linux (which is now officially supported). I have in mind some hand-held devices that would be a lot more interesting to build with realtime support.