load("//tools:configure_file.bzl", "configure_file")

configure_file(
    name = "conf",
    template = "conf.h.in",
)

cc_binary(
    name = "glitch.elf",
    srcs = [
        "boot.h",
        "kernel.c",
        "mem.h",
        "mem/vmm.c",
        "mmap.c",
        "mmap.h",
        "multiboot2.c",
        "task.h",
        ":conf.h",
    ],
    includes = ["."],
    linkopts = [
        "-T",
        "$(location //arch/i386:linker.ld)",
    ],
    target_compatible_with = [
        "@platforms//os:none",
    ],
    visibility = ["//visibility:public"],
    deps = [
        "//arch/i386:arch",
        "//arch/i386:linker.ld",
        "//devices:drivers",
        "//grub:multiboot2",
        "//lib/libk:k",
    ],
)