One thing that could be improved with #[no_std] is getting some of the core crates (like alloc) stabilized.
I’m a little confused about that one in particular – are we likely to be changing alloc::heap::allocate in the future? It seems pretty basic to me.