rust_targets/x86_64-sel4-none.json is not valid JSON

[josephg]

cmake-tool/rust_targets/x86_64-sel4-none.json contains this code:

    "relocation-model": "pic",
    // ...
    "relocation-model": "static",

I'm not sure if the relocation-model should be pic or static, but its almost certainly a bug to set it to two different values simultaneously.

[midnightveil]

I suspect it should probably be removed, it hasn't been touched for 6 years at this point, it's an unstable interface (as in, for rustc), and we have the rust-seL4 repo now that has target JSONs.

[lsf37]

I would agree. We should probably post on mailing list + discourse before we remove it to find out if anybody is still relying on this.