I had no idea Rust MCU support has come so far, the generated code is indeed very lean. This is fantastic!
God I'd love to use this, but ESP8266/ESP32 is where its at right now (at least for me).
BTW, regarding ESP8266 [1]
[1] http://hackaday.com/2017/01/04/rust-running-on-the-realtek-r...
Re: RTL8710... That was me! :) I haven't had much chance to continue hacking on the RTL8710 (we just moved, hobbies are still packed away) but I was pleasantly surprised how easy it was to get up and running.
Especially considering how little I know about embedded development, I imagine someone with more knowledge would be a lot more productive.