diff --git a/prelude/os/BUCK b/prelude/os/BUCK
index 925a0647552a3..952b4c5b5cffc 100644
--- a/prelude/os/BUCK
+++ b/prelude/os/BUCK
@@ -139,6 +139,15 @@ config_setting(
     visibility = ["PUBLIC"],
 )
 
+# UEFI applications
+config_setting(
+    name = "uefi",
+    constraint_values = [
+        "//os/constraints:uefi",
+    ],
+    visibility = ["PUBLIC"],
+)
+
 # For platforms with no OS, like microcontrollers.
 config_setting(
     name = "none",
diff --git a/prelude/os/constraints/BUCK b/prelude/os/constraints/BUCK
index 2e744c3ecd1ce..dcd8e9d405fdf 100644
--- a/prelude/os/constraints/BUCK
+++ b/prelude/os/constraints/BUCK
@@ -83,6 +83,12 @@ constraint_value(
     visibility = ["PUBLIC"],
 )
 
+constraint_value(
+    name = "uefi",
+    constraint_setting = ":os",
+    visibility = ["PUBLIC"],
+)
+
 constraint_value(
     name = "none",
     constraint_setting = ":os",