What about UDOO, there's anyone currently coding to get Arduino Due working with RAMPS or Marlin stuff>?(tu)
have a look [plastbot.wordpress.com]
have a look [plastbot.wordpress.com]