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

# Exports the kelvin files to be used by the kelvin_binary()
exports_files([
    "crt.S",
    "kelvin.ld",
    "kelvin_gloss.cc",
    "kelvin_start.S",
])

cc_library(
    name = "crt_header",
    hdrs = [
        "kelvin.h",
        "kelvin_intrinsics.h",
    ],
)