third_party/linux/BUILD.bazel

genrule(
    name = "bzImage",
    srcs = [
        "@linux//:all",
        "linux-metropolis.config",
    ],
    outs = [
        "bzImage",
    ],
    cmd = """
    DIR=external/linux

    mkdir $$DIR/.bin

    cp $(location linux-metropolis.config) $$DIR/.config

    (cd $$DIR && make -j $$(nproc) >/dev/null)

    cp $$DIR/arch/x86/boot/bzImage $(RULEDIR)
    """,
    visibility = ["//visibility:public"],
)

filegroup(
    name = "kernel-config",
    srcs = ["linux-metropolis.config"],
    visibility = ["//visibility:public"],
)