diff --git a/platforms/sencha/sencha_hw.mk b/platforms/sencha/sencha_hw.mk
index db61da1..53289eb 100644
--- a/platforms/sencha/sencha_hw.mk
+++ b/platforms/sencha/sencha_hw.mk
@@ -75,7 +75,7 @@
 # built. Currently the target builds matcha targets as well.
 sencha_sw_all: | $(SENCHA_OUT_DIR)
 	cd $(SENCHA_SRC_DIR) && \
-	  bazel build --define DISABLE_VERILATOR_BUILD=true --build_tag_filters="-kelvin_fpga" \
+	  bazel build --define DISABLE_VERILATOR_BUILD=true --build_tag_filters="-kelvin_fpga,-cheri" \
 			//sw/device/...
 	cd $(SENCHA_SRC_DIR) && \
 	  find "bazel-out/" \( -type f -name "*.elf" -o -name "*.bin" -o -name "*.vmem" \) \