Sign in
opensecura
/
sw
/
kelvin
/
f39cadd8ea1866b058bc2d5a33e182413f0f1d4e
/
.
/
platforms
/
registration.bzl
blob: a8b1c5372eecc90b6e3110e4aac05ab860a4c481 [
file
]
"""Kelvin toolchain registration."""
def
kelvin_register_toolchain
(
name
=
"kelvin"
):
native
.
register_execution_platforms
(
"@kelvin_sw//platforms/riscv32:kelvin"
)
native
.
register_toolchains
(
"@kelvin_sw//toolchains/kelvin:all"
)
