Original author of smoltcp here! I couldn't have imagined how much of a cornerstone of the Rust ecosystem it would become. Very excited to see it get used like this, and yeah, #![no_std] use cases were the original and primary motivation to build the stack in the first place.
Yeah, I was thinking of integrating that at some point. They've done a really nice job of keeping it no_std-friendly.