Document rustc toolchain version #425
Description
The tool defines: "target-pointer-width": "64" in aarch64_sel4_minimal.json. On some versions of the rust compiler (in this case: rustc 1.93.1`, we get the following error:
error: error loading target specification: target-pointer-width: invalid type: string "64", expected u16 at line 31 column 30
It should be documented what version of rustc we need to build the tool, in this case 1.90.0 is the correct version