| Jan Schär | 51c6748 | 2025-05-05 13:11:55 +0000 | [diff] [blame] | 1 | # Generic platform for Linux targets. |
| Leopold | bc93c2b | 2023-01-14 13:12:23 +0100 | [diff] [blame] | 2 | platform( |
| Jan Schär | 51c6748 | 2025-05-05 13:11:55 +0000 | [diff] [blame] | 3 | name = "linux_x86_64", |
| Leopold | bc93c2b | 2023-01-14 13:12:23 +0100 | [diff] [blame] | 4 | constraint_values = [ |
| 5 | "@platforms//os:linux", |
| 6 | "@platforms//cpu:x86_64", |
| 7 | ], |
| Tim Windelschmidt | 0974b22 | 2024-01-16 14:04:15 +0100 | [diff] [blame] | 8 | visibility = ["//visibility:public"], |
| Leopold | bc93c2b | 2023-01-14 13:12:23 +0100 | [diff] [blame] | 9 | ) |
| 10 | |
| Leopold | bc93c2b | 2023-01-14 13:12:23 +0100 | [diff] [blame] | 11 | platform( |
| Jan Schär | 51c6748 | 2025-05-05 13:11:55 +0000 | [diff] [blame] | 12 | name = "linux_aarch64", |
| 13 | constraint_values = [ |
| 14 | "@platforms//os:linux", |
| 15 | "@platforms//cpu:aarch64", |
| 16 | ], |
| 17 | visibility = ["//visibility:public"], |
| 18 | ) |
| 19 | |
| 20 | # EFI preboot environment. |
| 21 | platform( |
| 22 | name = "uefi_x86_64", |
| Leopold | bc93c2b | 2023-01-14 13:12:23 +0100 | [diff] [blame] | 23 | constraint_values = [ |
| Lorenz Brun | 5acd380 | 2023-08-29 23:15:06 +0200 | [diff] [blame] | 24 | "@platforms//os:uefi", |
| Leopold | bc93c2b | 2023-01-14 13:12:23 +0100 | [diff] [blame] | 25 | "@platforms//cpu:x86_64", |
| 26 | ], |
| Lorenz Brun | 54a5a05 | 2023-10-02 16:40:11 +0200 | [diff] [blame] | 27 | visibility = ["//visibility:public"], |
| Leopold | bc93c2b | 2023-01-14 13:12:23 +0100 | [diff] [blame] | 28 | ) |
| 29 | |
| Tim Windelschmidt | 32e7430 | 2025-01-15 04:37:26 +0100 | [diff] [blame] | 30 | platform( |
| Jan Schär | 51c6748 | 2025-05-05 13:11:55 +0000 | [diff] [blame] | 31 | name = "uefi_aarch64", |
| Tim Windelschmidt | 32e7430 | 2025-01-15 04:37:26 +0100 | [diff] [blame] | 32 | constraint_values = [ |
| Jan Schär | 51c6748 | 2025-05-05 13:11:55 +0000 | [diff] [blame] | 33 | "@platforms//os:uefi", |
| 34 | "@platforms//cpu:aarch64", |
| 35 | ], |
| 36 | visibility = ["//visibility:public"], |
| 37 | ) |
| 38 | |
| 39 | # Remote execution platform. |
| 40 | platform( |
| 41 | name = "remote_x86_64", |
| 42 | constraint_values = [ |
| Tim Windelschmidt | 32e7430 | 2025-01-15 04:37:26 +0100 | [diff] [blame] | 43 | "@platforms//os:linux", |
| Jan Schär | 51c6748 | 2025-05-05 13:11:55 +0000 | [diff] [blame] | 44 | "@platforms//cpu:x86_64", |
| Tim Windelschmidt | 32e7430 | 2025-01-15 04:37:26 +0100 | [diff] [blame] | 45 | ], |
| 46 | exec_properties = { |
| 47 | "container-image": "docker://gcr.io/monogon-infra/sandbox", |
| 48 | "OSFamily": "linux", |
| 49 | }, |
| 50 | ) |