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")