aarch64-sel4-microkit-resettable-minimal.json

{
  "arch": "aarch64",
  "crt-objects-fallback": "false",
  "data-layout": "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128",
  "disable-redzone": true,
  "eh-frame-header": false,
  "env": "sel4",
  "exe-suffix": ".elf",
  "features": "+v8a,+strict-align,+neon,+fp-armv8",
  "link-script": "SECTIONS {\n    .persistent : {\n        *(.persistent .persistent.*)\n    }\n} INSERT BEFORE .data;\n\nASSERT(DEFINED(_reset), \"_reset is not defined\")\n\nENTRY(_reset)\n__sel4_ipc_buffer_obj = (__ehdr_start & ~(4096 - 1)) - 4096;",
  "linker": "rust-lld",
  "linker-flavor": "gnu-lld",
  "llvm-target": "aarch64-unknown-none",
  "max-atomic-width": 128,
  "metadata": {
    "description": null,
    "host_tools": null,
    "std": null,
    "tier": null
  },
  "panic-strategy": "abort",
  "pre-link-args": {
    "gnu-lld": [
      "-z",
      "max-page-size=4096"
    ]
  },
  "relocation-model": "static",
  "stack-probes": {
    "kind": "inline"
  },
  "supported-sanitizers": [
    "kcfi",
    "kernel-address"
  ],
  "target-pointer-width": "64"
}