On Tue, Sep 3, 2024 at 7:15 PM Jiaxun Yang [off-list ref] wrote:

We don't use builtin target as there is no sutiable baremetal
target for us that can cover all ISA variants supported by kernel.

Since we should try to go away from using `target.json`: what was not
possible to enable via e.g. `-Ctarget-features` or other flags? i.e. I
see the `+mips*` features there in the supported list, and from a
quick test the data layout also seems to match, but I assume I missed
something.

If it is not possible, then we should definitely ping upstream Rust about it. :)

Cheers,
Miguel