scripts/BUILD

sh_binary(
    name = "launch",
    srcs = ["launch.sh"],
    tags = ["local"],
    data = [
        "@//:image",
        "@//:swtpm_data",
        "@edk2//:firmware",
    ],
)