| def kelvin_register_toolchain(name = "kelvin"): | |
| native.register_execution_platforms("//platforms/riscv32:kelvin") | |
| native.register_toolchains("//toolchains/kelvin:all") | |
| def cheriot_register_toolchain(name = "cheriot"): | |
| native.register_execution_platforms("//platforms/cheri/riscv32:all") | |
| native.register_toolchains("//toolchains/cheri_llvm:all") |