module_name = "kl_sdk"

kernel_module(module_name) {
  sources = [
    "src/common.c",
    "src/boot.c",
    "src/version.c",
    "src/sbl_printf.c",
    "src/hw3/sbl_boot.c",
    "src/riscv/entry_def.S",
    "src/riscv/sbl.S",
  ]
  include_dirs = [
    "//sbl/inc",
    "//sbl/inc/hw3",
    "//sbl/lzma",
    "//inc/pib",
    "//driver/inc",
    "//inc",
    "//inc/io_lib",
    "//inc/os_shim",
    "//inc/compiler/gcc",
    "//inc/utils",
    "//driver/src/hw3/inc",
    "//inc/driver",
  ]
}