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