package(default_visibility = ["//visibility:public"])

platform(
    name = "cheriot",
    constraint_values = [
        "@platforms//cpu:riscv32",
        "//constraints/extension:cheri",
    ],
)
platform(
    name = "cheriot-baremetal",
    constraint_values = [
        "@platforms//cpu:riscv32",
        "//constraints/extension:cheri-baremetal",
    ],
)