{
    "data-layout": "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128",
    "llvm-target": "aarch64-unknown-linux-gnu",
    "target-endian": "little",
    "target-pointer-width": "64",
    "target-c-int-width": "32",
    "os": "sel4",
    "env": "fel4",
    "arch": "aarch64",
    "linker-is-gnu": true,
    "executables": true,
    "linker": "aarch64-linux-gnu-gcc",
    "ar": "aarch64-linux-gnu-ar",
    "relocation-model": "static",
    "position-independent-executables": true,
    "has-elf-tls": true,
    "panic-strategy": "abort",
    "no-default-libraries": true,
    "features": "+a57,+fullfp16,-neon",
    "cpu": "cortex-a57",
    "linker-flavor": "gcc",
    "pre-link-args": {
        "gcc": ["-ffreestanding", "-nodefaultlibs", "-nostdlib"]
    },
    "post-link-args": {
        "gcc": ["-lm", "-lgcc_s", "-lgcc"]
    },
    "default-codegen-units": 1
}