load("@crt//config:device.bzl", "device_config")
load("@crt//config:compiler.bzl", "listify_flags")

DEVICES = [
    device_config(
        name = "cheriot",
        architecture = "rv32imcxcheri",
        feature_set = "//platforms/cheri/riscv32/features:rv32imcxcheri",
        constraints = [
            "@platforms//cpu:riscv32",
            "//constraints/extension:cheri",
        ],
        substitutions = {
            "ARCHITECTURE": "rv32imcxcheri",
            "ABI": "cheriot",
            "CMODEL": "medany",
            "ENDIAN": "little",
            "TARGET": "riscv32-unknown-elf",
            "[STACK_PROTECTOR]": "",
            "[SYSTEM_LIBRARY_PATHS]": listify_flags(
                "-L{}",
                [
                    "external/cheriot-llvm/baremetal/baremetal-riscv32-purecap/riscv32-unknown-elf/lib/",
                ],
            ),
        },
    ),
    device_config(
        name = "cheriot-baremetal",
        architecture = "rv32imcxcheri",
        feature_set = "//platforms/cheri/riscv32/features:rv32imcxcheri",
        constraints = [
            "@platforms//cpu:riscv32",
            "//constraints/extension:cheri-baremetal",
        ],
        substitutions = {
            "ARCHITECTURE": "rv32imcxcheri",
            "ABI": "cheriot-baremetal",
            "CMODEL": "medany",
            "ENDIAN": "little",
            "TARGET": "riscv32-unknown-elf",
            "[STACK_PROTECTOR]": "",
            "[SYSTEM_LIBRARY_PATHS]": listify_flags(
                "-L{}",
                [
                    "external/cheriot-llvm/baremetal/baremetal-riscv32-purecap/riscv32-unknown-elf/lib/",
                ],
            ),
        },
    ),
]