Will this one ever run .NETMF?

[url]http://www.seeedstudio.com/depot/Tessel-2-p-2622.html?ref=tessel.io[/url]

This board has some interesting specs for power-management…etc.

Of course, but is the mediatek stuff in any existing ports`?