Add //tools:armhf-debian to the default environment group

Everything builds for the Jetson anyways, so let's just stick to it.
More compilers aren't a bad thing.  This will prevent more of the code
base from needing to be annotated.

Change-Id: I501b384c8073e245f11f0e0c3e5f9b494ad89a66
diff --git a/aos/BUILD b/aos/BUILD
index 593509d..fca0258 100644
--- a/aos/BUILD
+++ b/aos/BUILD
@@ -1,11 +1,12 @@
 load("//tools:environments.bzl", "mcu_cpus")
 load("//aos/build:queues.bzl", "queue_library")
+
 filegroup(
     name = "prime_binaries",
     srcs = [
+        "//aos:core",
         "//aos/logging:log_displayer",
         "//aos/logging:log_streamer",
-        "//aos:core",
         "//aos/starter",
     ],
     visibility = ["//visibility:public"],
@@ -56,13 +57,10 @@
     hdrs = [
         "once.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
     deps = [
         "//aos:gtest_prod",
-        "//aos/type_traits:type_traits",
+        "//aos/type_traits",
     ],
 )
 
@@ -71,9 +69,6 @@
     hdrs = [
         "byteorder.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
 )
 
@@ -96,13 +91,11 @@
 )
 
 cc_library(
-    name="macros",
-    hdrs=(
+    name = "macros",
+    hdrs = [
         "macros.h",
-    ),
-    compatible_with =  mcu_cpus + [
-        "//tools:armhf-debian",
     ],
+    compatible_with = mcu_cpus,
     visibility = ["//visibility:public"],
 )
 
@@ -111,9 +104,6 @@
     hdrs = [
         "gtest_prod.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
 )
 
@@ -129,9 +119,6 @@
     name = "gen_print_field",
     outs = ["print_field.cc"],
     cmd = "$(location //aos/build/queues:print_field) $@",
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     tools = ["//aos/build/queues:print_field"],
     visibility = ["//visibility:private"],
 )
@@ -146,19 +133,16 @@
     hdrs = [
         "queue_types.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
+    visibility = ["//visibility:public"],
     deps = [
-        "//aos:byteorder",
         ":generated_queue_headers",
-        "//aos/mutex:mutex",
-        "//aos/time:time",
-        "//aos/logging:printf_formats",
+        "//aos:byteorder",
         "//aos/ipc_lib:core_lib",
         "//aos/ipc_lib:shared_mem",
+        "//aos/logging:printf_formats",
+        "//aos/mutex",
+        "//aos/time",
     ],
-    visibility = ["//visibility:public"],
 )
 
 cc_test(
@@ -180,15 +164,12 @@
     hdrs = [
         "queue.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
+    visibility = ["//visibility:public"],
     deps = [
-        "//aos/messages:messages",
         "//aos:queue",
         "//aos/ipc_lib:queue",
+        "//aos/messages",
     ],
-    visibility = ["//visibility:public"],
 )
 
 queue_library(
@@ -202,9 +183,6 @@
     name = "gen_queue_primitives",
     outs = ["queue_primitives.h"],
     cmd = "$(location //aos/build/queues:queue_primitives) $@",
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     tools = ["//aos/build/queues:queue_primitives"],
     visibility = ["//visibility:private"],
 )
@@ -214,9 +192,6 @@
     hdrs = [
         ":gen_queue_primitives",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//aos/logging:__pkg__"],
 )
 
@@ -226,11 +201,11 @@
         "queue_test.cc",
     ],
     deps = [
-        "//aos:die",
         ":test_queue",
-        "//aos/util:thread",
+        "//aos:die",
         "//aos/testing:googletest",
         "//aos/testing:test_shm",
+        "//aos/util:thread",
     ],
 )
 
@@ -239,9 +214,6 @@
     hdrs = [
         "unique_malloc_ptr.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
 )
 
@@ -253,15 +225,12 @@
     hdrs = [
         "condition.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
-    deps = [
-        "//aos/mutex:mutex",
-        "//aos/logging",
-        "//aos/ipc_lib:aos_sync",
-    ],
     visibility = ["//visibility:public"],
+    deps = [
+        "//aos/ipc_lib:aos_sync",
+        "//aos/logging",
+        "//aos/mutex",
+    ],
 )
 
 cc_test(
@@ -272,15 +241,15 @@
     deps = [
         ":condition",
         "//aos:die",
-        "//aos/mutex:mutex",
-        "//aos/time:time",
-        "//aos/logging",
-        "//aos/util:thread",
         "//aos/ipc_lib:aos_sync",
         "//aos/ipc_lib:core_lib",
+        "//aos/logging",
+        "//aos/mutex",
         "//aos/testing:googletest",
         "//aos/testing:prevent_exit",
         "//aos/testing:test_shm",
+        "//aos/time",
+        "//aos/util:thread",
     ],
 )
 
@@ -292,17 +261,13 @@
     hdrs = [
         "die.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
+    visibility = ["//visibility:public"],
     deps = [
         "//aos:macros",
         "//aos/libc:aos_strerror",
     ],
-    visibility = ["//visibility:public"],
 )
 
-
 cc_test(
     name = "die_test",
     srcs = [
@@ -322,24 +287,24 @@
     hdrs = [
         "event.h",
     ],
-    deps = [
-        "//aos/time:time",
-        "//aos/logging",
-        "//aos/ipc_lib:aos_sync",
-    ],
     visibility = ["//visibility:public"],
+    deps = [
+        "//aos/ipc_lib:aos_sync",
+        "//aos/logging",
+        "//aos/time",
+    ],
 )
 
 cc_test(
     name = "event_test",
     srcs = [
         "event_test.cc",
-        ],
+    ],
     deps = [
         ":event",
-        "//aos/time:time",
         "//aos/testing:googletest",
         "//aos/testing:test_logging",
+        "//aos/time",
     ],
 )
 
@@ -349,9 +314,9 @@
         "dump_rtprio.cc",
     ],
     deps = [
-        "//aos/time:time",
         "//aos/logging",
         "//aos/logging:implementations",
+        "//aos/time",
     ],
 )
 
@@ -360,9 +325,6 @@
     hdrs = [
         "queue-tmpl.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//aos:__pkg__"],
 )
 
@@ -374,17 +336,14 @@
     hdrs = [
         "complex_thread_local.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     linkopts = [
         "-lpthread",
     ],
-    deps = [
-        "//aos:once",
-        "//aos:die",
-    ],
     visibility = ["//visibility:public"],
+    deps = [
+        "//aos:die",
+        "//aos:once",
+    ],
 )
 
 cc_test(
@@ -395,8 +354,8 @@
     deps = [
         ":complex_thread_local",
         "//aos/logging",
-        "//aos/util:thread",
         "//aos/testing:googletest",
+        "//aos/util:thread",
     ],
 )
 
@@ -408,15 +367,12 @@
     hdrs = [
         "init.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
+    visibility = ["//visibility:public"],
     deps = [
         "//aos:die",
-        "//aos/logging:implementations",
         "//aos/ipc_lib:shared_mem",
+        "//aos/logging:implementations",
     ],
-    visibility = ["//visibility:public"],
 )
 
 cc_library(
@@ -427,15 +383,12 @@
     hdrs = [
         "configuration.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
+    visibility = ["//visibility:public"],
     deps = [
         "//aos:once",
         "//aos:unique_malloc_ptr",
         "//aos/logging",
     ],
-    visibility = ["//visibility:public"],
 )
 
 cc_binary(
diff --git a/aos/controls/BUILD b/aos/controls/BUILD
index 2362708..d597e19 100644
--- a/aos/controls/BUILD
+++ b/aos/controls/BUILD
@@ -77,9 +77,6 @@
     srcs = [
         "control_loops.q",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_library(
diff --git a/aos/ipc_lib/BUILD b/aos/ipc_lib/BUILD
index 9d72e40..03a4752 100644
--- a/aos/ipc_lib/BUILD
+++ b/aos/ipc_lib/BUILD
@@ -8,9 +8,6 @@
     hdrs = [
         "aos_sync.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     linkopts = [
         "-lpthread",
     ],
@@ -30,9 +27,6 @@
     hdrs = [
         "core_lib.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":aos_sync",
         ":shared_mem_types",
@@ -47,9 +41,6 @@
     hdrs = [
         "shared_mem.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     linkopts = [
         "-lrt",
     ],
@@ -68,9 +59,6 @@
     hdrs = [
         "shared_mem_types.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":aos_sync",
     ],
@@ -84,9 +72,6 @@
     hdrs = [
         "queue.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     linkopts = [
         "-lrt",
     ],
@@ -124,9 +109,6 @@
     srcs = [
         "ipc_stress_test.cc",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     tags = [
         "manual",
     ],
diff --git a/aos/libc/BUILD b/aos/libc/BUILD
index c2fb6ab..48a9ffd 100644
--- a/aos/libc/BUILD
+++ b/aos/libc/BUILD
@@ -54,9 +54,6 @@
     hdrs = [
         "aos_strerror.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_test(
diff --git a/aos/logging/BUILD b/aos/logging/BUILD
index 1af933d..ebc03f6 100644
--- a/aos/logging/BUILD
+++ b/aos/logging/BUILD
@@ -10,9 +10,6 @@
         "interface.h",
         "logging.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
     deps = [
         ":sizes",
@@ -109,9 +106,6 @@
     hdrs = [
         "sizes.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_test(
@@ -134,9 +128,6 @@
     hdrs = [
         "queue_logging.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
     deps = [
         ":logging",
@@ -170,9 +161,6 @@
     hdrs = [
         "printf_formats.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
     deps = [
         "//aos:macros",
@@ -187,9 +175,6 @@
     hdrs = [
         "implementations.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     linkopts = [
         "-lpthread",
     ],
diff --git a/aos/messages/BUILD b/aos/messages/BUILD
index 532a3b6..b8fb643 100644
--- a/aos/messages/BUILD
+++ b/aos/messages/BUILD
@@ -8,9 +8,6 @@
     hdrs = [
         "message.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos:byteorder",
         "//aos:macros",
diff --git a/aos/mutex/BUILD b/aos/mutex/BUILD
index 6acccd7..43c9616 100644
--- a/aos/mutex/BUILD
+++ b/aos/mutex/BUILD
@@ -8,9 +8,6 @@
     hdrs = [
         "mutex.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos:die",
         "//aos/type_traits:type_traits",
diff --git a/aos/network/BUILD b/aos/network/BUILD
index 48922de..6fe0585 100644
--- a/aos/network/BUILD
+++ b/aos/network/BUILD
@@ -8,9 +8,6 @@
     hdrs = [
         "team_number.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos:once",
         "//aos/logging",
diff --git a/aos/scoped/BUILD b/aos/scoped/BUILD
index 04f0e06..002026e 100644
--- a/aos/scoped/BUILD
+++ b/aos/scoped/BUILD
@@ -5,9 +5,6 @@
     hdrs = [
         "scoped_fd.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos/logging",
     ],
diff --git a/aos/testing/BUILD b/aos/testing/BUILD
index 588203a..33794a5 100644
--- a/aos/testing/BUILD
+++ b/aos/testing/BUILD
@@ -4,9 +4,6 @@
     srcs = [
         "gtest_main.cc",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
     deps = [
         "//third_party/googletest:gtest",
diff --git a/aos/time/BUILD b/aos/time/BUILD
index e5b1389..b76cd99 100644
--- a/aos/time/BUILD
+++ b/aos/time/BUILD
@@ -8,9 +8,6 @@
     hdrs = [
         "time.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos:macros",
         "//aos/mutex:mutex",
diff --git a/aos/type_traits/BUILD b/aos/type_traits/BUILD
index 3a5198e..171bb8d 100644
--- a/aos/type_traits/BUILD
+++ b/aos/type_traits/BUILD
@@ -5,9 +5,6 @@
     hdrs = [
         "type_traits.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_test(
diff --git a/aos/util/BUILD b/aos/util/BUILD
index 70f23c4..902cb00 100644
--- a/aos/util/BUILD
+++ b/aos/util/BUILD
@@ -90,9 +90,6 @@
     hdrs = [
         "string_to_num.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_test(
@@ -175,9 +172,6 @@
     hdrs = [
         "options.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_test(
@@ -196,9 +190,6 @@
     hdrs = [
         "compiler_memory_barrier.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_library(
diff --git a/aos/vision/blob/BUILD b/aos/vision/blob/BUILD
index bc1e7f0..69a2cc5 100644
--- a/aos/vision/blob/BUILD
+++ b/aos/vision/blob/BUILD
@@ -6,9 +6,6 @@
     name = "range_image",
     srcs = ["range_image.cc"],
     hdrs = ["range_image.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos/vision/debug:overlay",
         "//aos/vision/image:image_types",
@@ -21,9 +18,6 @@
 cc_library(
     name = "region_alloc",
     hdrs = ["region_alloc.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos/logging",
     ],
@@ -33,9 +27,6 @@
     name = "contour",
     srcs = ["contour.cc"],
     hdrs = ["contour.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":range_image",
         ":region_alloc",
@@ -47,9 +38,6 @@
 cc_library(
     name = "threshold",
     hdrs = ["threshold.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":range_image",
         "//aos/vision/image:image_types",
@@ -75,18 +63,12 @@
 cc_library(
     name = "disjoint_set",
     hdrs = ["disjoint_set.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_library(
     name = "find_blob",
     srcs = ["find_blob.cc"],
     hdrs = ["find_blob.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":disjoint_set",
         ":range_image",
@@ -100,9 +82,6 @@
     name = "codec",
     srcs = ["codec.cc"],
     hdrs = ["codec.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":range_image",
         "//aos/vision/debug:overlay",
@@ -114,9 +93,6 @@
 cc_test(
     name = "codec_test",
     srcs = ["codec_test.cc"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":codec",
         "//aos/testing:googletest",
@@ -127,9 +103,6 @@
     name = "move_scale",
     srcs = ["move_scale.cc"],
     hdrs = ["move_scale.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":range_image",
         "//aos/vision/image:image_types",
@@ -140,9 +113,6 @@
     name = "test_utils",
     srcs = ["test_utils.cc"],
     hdrs = ["test_utils.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":range_image",
     ],
@@ -152,9 +122,6 @@
     name = "transpose",
     srcs = ["transpose.cc"],
     hdrs = ["transpose.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":range_image",
     ],
@@ -163,9 +130,6 @@
 cc_test(
     name = "transpose_test",
     srcs = ["transpose_test.cc"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":test_utils",
         ":transpose",
@@ -176,9 +140,6 @@
 gtk_dependent_cc_library(
     name = "stream_view",
     hdrs = ["stream_view.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":range_image",
         "//aos/vision/debug:debug_window",
diff --git a/aos/vision/debug/BUILD b/aos/vision/debug/BUILD
index bb03a75..a60f65e 100644
--- a/aos/vision/debug/BUILD
+++ b/aos/vision/debug/BUILD
@@ -5,9 +5,6 @@
 cc_library(
     name = "overlay",
     hdrs = ["overlay.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos/vision/image:image_types",
         "//aos/vision/math:segment",
@@ -19,9 +16,6 @@
     name = "debug_window",
     srcs = ["debug_window.cc"],
     hdrs = ["debug_window.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":overlay",
         "//aos/vision/image:image_types",
@@ -39,9 +33,6 @@
         "tcp-source.cc",
     ],
     hdrs = ["debug_framework.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos/logging",
         "//aos/logging:implementations",
diff --git a/aos/vision/events/BUILD b/aos/vision/events/BUILD
index 02a4321..c05fc09 100644
--- a/aos/vision/events/BUILD
+++ b/aos/vision/events/BUILD
@@ -6,9 +6,6 @@
     name = "epoll_events",
     srcs = ["epoll_events.cc"],
     hdrs = ["epoll_events.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos/logging",
         "//aos/scoped:scoped_fd",
@@ -19,9 +16,6 @@
 cc_library(
     name = "socket_types",
     hdrs = ["socket_types.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos/vision/events:tcp_server",
         "//aos/vision/image:image_types",
@@ -32,18 +26,12 @@
 cc_library(
     name = "intrusive_free_list",
     hdrs = ["intrusive_free_list.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_library(
     name = "tcp_server",
     srcs = ["tcp_server.cc"],
     hdrs = ["tcp_server.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":epoll_events",
         ":intrusive_free_list",
@@ -54,9 +42,6 @@
     name = "tcp_client",
     srcs = ["tcp_client.cc"],
     hdrs = ["tcp_client.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [":epoll_events"],
 )
 
@@ -64,9 +49,6 @@
     name = "udp",
     srcs = ["udp.cc"],
     hdrs = ["udp.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos:macros",
         "//aos/scoped:scoped_fd",
@@ -76,9 +58,6 @@
 cc_test(
     name = "udp_test",
     srcs = ["udp_test.cc"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":udp",
         "//aos/testing:googletest",
@@ -88,9 +67,6 @@
 gtk_dependent_cc_library(
     name = "gtk_event",
     srcs = ["gtk_event.cc"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":epoll_events",
         "@usr_repo//:gtk+-3.0",
diff --git a/aos/vision/image/BUILD b/aos/vision/image/BUILD
index 1caab3b..9bc3c19 100644
--- a/aos/vision/image/BUILD
+++ b/aos/vision/image/BUILD
@@ -5,9 +5,6 @@
 cc_library(
     name = "image_types",
     hdrs = ["image_types.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos/logging",
     ],
@@ -16,9 +13,6 @@
 cc_proto_library(
     name = "camera_params",
     srcs = ["camera_params.proto"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_library(
@@ -28,9 +22,6 @@
         "V4L2.h",
         "reader.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":camera_params",
         ":image_types",
@@ -43,9 +34,6 @@
     name = "jpeg_routines",
     srcs = ["jpeg_routines.cc"],
     hdrs = ["jpeg_routines.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":image_types",
         "//aos/logging",
@@ -56,9 +44,6 @@
 cc_library(
     name = "image_stream",
     hdrs = ["image_stream.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos/vision/events:epoll_events",
         "//aos/vision/image:reader",
diff --git a/aos/vision/math/BUILD b/aos/vision/math/BUILD
index 1de8436..3233bc9 100644
--- a/aos/vision/math/BUILD
+++ b/aos/vision/math/BUILD
@@ -3,9 +3,6 @@
 cc_library(
     name = "segment",
     hdrs = ["segment.h"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [":vector"],
 )
 
@@ -14,9 +11,6 @@
     hdrs = [
         "vector.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//third_party/eigen",
     ],
@@ -28,9 +22,6 @@
     srcs = [
         "vector_test.cc",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":vector",
         "//aos/testing:googletest",
diff --git a/frc971/BUILD b/frc971/BUILD
index b9987a4..563f05e 100644
--- a/frc971/BUILD
+++ b/frc971/BUILD
@@ -7,9 +7,7 @@
     hdrs = [
         "shifter_hall_effect.h",
     ],
-    compatible_with = mcu_cpus + [
-        "//tools:armhf-debian",
-    ],
+    compatible_with = mcu_cpus,
 )
 
 cc_library(
@@ -17,9 +15,6 @@
     hdrs = [
         "constants.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 py_library(
diff --git a/frc971/control_loops/BUILD b/frc971/control_loops/BUILD
index 3cc8dd3..7988e51 100644
--- a/frc971/control_loops/BUILD
+++ b/frc971/control_loops/BUILD
@@ -44,9 +44,6 @@
     srcs = [
         "control_loops.q",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_test(
@@ -145,9 +142,6 @@
     hdrs = [
         "state_feedback_loop.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos:macros",
         "//aos/logging",
diff --git a/frc971/control_loops/drivetrain/BUILD b/frc971/control_loops/drivetrain/BUILD
index abc8aaf..d0e91a7 100644
--- a/frc971/control_loops/drivetrain/BUILD
+++ b/frc971/control_loops/drivetrain/BUILD
@@ -21,9 +21,6 @@
     srcs = [
         "drivetrain.q",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//aos/controls:control_loop_queues",
         "//frc971/control_loops:queues",
diff --git a/third_party/eigen/BUILD b/third_party/eigen/BUILD
index 8fe7fa6..e66382c 100644
--- a/third_party/eigen/BUILD
+++ b/third_party/eigen/BUILD
@@ -20,9 +20,7 @@
     ) + ["unsupported/Eigen/MatrixFunctions"] + glob([
         "unsupported/Eigen/src/MatrixFunctions/*.h",
     ]),
-    compatible_with = mcu_cpus + [
-        "//tools:armhf-debian",
-    ],
+    compatible_with = mcu_cpus,
     includes = ["."],
     visibility = ["//visibility:public"],
 )
diff --git a/third_party/googletest/BUILD.bazel b/third_party/googletest/BUILD.bazel
index ec585e6..b57e825 100644
--- a/third_party/googletest/BUILD.bazel
+++ b/third_party/googletest/BUILD.bazel
@@ -73,7 +73,6 @@
         "googletest/include/gtest/*.h",
         "googlemock/include/gmock/*.h",
     ]),
-    compatible_with = ["//tools:armhf-debian"],
     copts = select(
         {
             ":windows": [],
diff --git a/third_party/libjpeg/BUILD b/third_party/libjpeg/BUILD
index 469de52..3fb36ec 100644
--- a/third_party/libjpeg/BUILD
+++ b/third_party/libjpeg/BUILD
@@ -59,9 +59,6 @@
             "jmemmac.h",
         ],
     ),
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     copts = [
         "-Wno-cast-align",
         "-Wno-cast-qual",
diff --git a/third_party/protobuf/BUILD b/third_party/protobuf/BUILD
index 04ead8e..ea13eed 100644
--- a/third_party/protobuf/BUILD
+++ b/third_party/protobuf/BUILD
@@ -81,9 +81,6 @@
         "src/google/protobuf/wire_format_lite.cc",
     ],
     hdrs = glob(["src/google/protobuf/**/*.h"]),
-    compatible_with = [
-        "@//tools:armhf-debian",
-    ],
     copts = COPTS,
     includes = ["src/"],
     linkopts = LINK_OPTS,
@@ -151,9 +148,6 @@
         "src/google/protobuf/wrappers.pb.cc",
     ],
     hdrs = glob(["src/**/*.h"]),
-    compatible_with = [
-        "@//tools:armhf-debian",
-    ],
     copts = COPTS,
     includes = ["src/"],
     linkopts = LINK_OPTS,
diff --git a/tools/BUILD b/tools/BUILD
index 3a75af3..6993e5f 100644
--- a/tools/BUILD
+++ b/tools/BUILD
@@ -68,6 +68,7 @@
     defaults = [
         ":k8",
         ":roborio",
+        ":armhf-debian",
     ],
     environments = [
         ":k8",
diff --git a/y2016/BUILD b/y2016/BUILD
index c7622f8..0e72985 100644
--- a/y2016/BUILD
+++ b/y2016/BUILD
@@ -8,9 +8,6 @@
     hdrs = [
         "constants.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
     deps = [
         "//aos:once",
diff --git a/y2016/control_loops/drivetrain/BUILD b/y2016/control_loops/drivetrain/BUILD
index 31d4dbe..39f2b56 100644
--- a/y2016/control_loops/drivetrain/BUILD
+++ b/y2016/control_loops/drivetrain/BUILD
@@ -11,9 +11,6 @@
         "kalman_drivetrain_motor_plant.cc",
     ],
     cmd = "$(location //y2016/control_loops/python:drivetrain) $(OUTS)",
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     tools = [
         "//y2016/control_loops/python:drivetrain",
     ],
@@ -29,9 +26,6 @@
         "polydrivetrain_cim_plant.cc",
     ],
     cmd = "$(location //y2016/control_loops/python:polydrivetrain) $(OUTS)",
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     tools = [
         "//y2016/control_loops/python:polydrivetrain",
     ],
@@ -50,9 +44,6 @@
         "kalman_drivetrain_motor_plant.h",
         "polydrivetrain_dog_motor_plant.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         "//frc971/control_loops:state_feedback_loop",
     ],
diff --git a/y2016/vision/BUILD b/y2016/vision/BUILD
index 4617f0c..33ffbbc 100644
--- a/y2016/vision/BUILD
+++ b/y2016/vision/BUILD
@@ -7,26 +7,17 @@
     srcs = [
         "vision.q",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
 )
 
 cc_proto_library(
     name = "vision_data",
     srcs = ["vision_data.proto"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_proto_library(
     name = "calibration",
     srcs = ["calibration.proto"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 _calibration_values_embedded_before = """
@@ -68,9 +59,6 @@
         "cat $(location :calibration.pb) | sed 's/\"/\\\\\"/g ; s/^/\"/g ; s/$$/\\\\n\"/g' >> $@",
         "echo '%s' >> $@" % _calibration_values_embedded_after,
     ]),
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
 )
 
 cc_library(
@@ -82,9 +70,6 @@
     hdrs = [
         "stereo_geometry.h",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     deps = [
         ":calibration",
         "//aos/logging",
@@ -141,9 +126,6 @@
     srcs = [
         "target_receiver.cc",
     ],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
     deps = [
         ":stereo_geometry",
@@ -163,9 +145,6 @@
 gtk_dependent_cc_binary(
     name = "debug_receiver",
     srcs = ["debug_receiver.cc"],
-    compatible_with = [
-        "//tools:armhf-debian",
-    ],
     visibility = ["//visibility:public"],
     deps = [
         ":blob_filters",