| sh_binary( | |
| name = "launch", | |
| srcs = ["launch.sh"], | |
| data = [ | |
| "@//core:image", | |
| "@//core:swtpm_data", | |
| "@edk2//:firmware", | |
| ], | |
| tags = ["local"], | |
| ) | |
| sh_test( | |
| name = "test_boot", | |
| size = "small", | |
| srcs = ["test_boot.sh"], | |
| tags = ["local"], | |
| deps = [":launch"], | |
| ) |