From 4e6771f8b444d16c69b8d5455915f3de3d475d2d Mon Sep 17 00:00:00 2001
From: Austin Schuh <austin.linux@gmail.com>
Date: Thu, 15 Aug 2019 10:46:27 -0700
Subject: [PATCH] Add OS setting for devices with no OS

PiperOrigin-RevId: 263595168
Change-Id: Ib2d6b6164acdf30f663462cdc9108d2817db6d76
---
 os/BUILD | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/os/BUILD b/os/BUILD
index 599968e..2b3aeda 100644
--- a/os/BUILD
+++ b/os/BUILD
@@ -33,6 +33,12 @@ constraint_value(
     constraint_setting = ":os",
 )
 
+# For platforms with no OS, like microcontrollers.
+constraint_value(
+    name = "none",
+    constraint_setting = ":os",
+)
+
 ### Apple OS Values
 
 constraint_value(