Could this be upstreamed to Rust proper, at least as a no_std (core+alloc only) target (given the known quirks in std support)? The requirements for the lowest level of support ("tier 3") seem like they would allow this.