RTEMS on Lego Mindstorms EV3

[Per Dalgas Jakobsen]

Hi

I'm considering trying RTEMS for Lego Mindstorms EV3, preferably with 
support for the Ada Ravenscar profile (tasking).

The EV3 is based on a Texas Instruments AM1808BZWT4, which has an 
ARM926EJ-S processor: http://www.ti.com/product/am1808 and it has 64MB 
DDR RAM, more than enough for most projects I would think :)
The entire hardware description is available her: 
http://www.lego.com/en-us/mindstorms/downloads look for "EV3 Hardware 
Developer Kit".

Anyone been down that road?, comments, suggestions, links?
Thanks

~Per