X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=benchmarks%2Fdrivers%2FJava%2FEspAlarm%2FEspAlarm.config;h=b6460eec6ec0d5d88d1a182cbae713e7e002a1f9;hb=aaa765a192fdcd2aaa05fb6b276424652578d0e8;hp=a4f10a8e4310069ebcd3405382a8e7de48aee57e;hpb=7cab636b00bf5afcc441c9e4bdd4d6f4f0e2cf95;p=iot2.git

diff --git a/benchmarks/drivers/Java/EspAlarm/EspAlarm.config b/benchmarks/drivers/Java/EspAlarm/EspAlarm.config
index a4f10a8..b6460ee 100644
--- a/benchmarks/drivers/Java/EspAlarm/EspAlarm.config
+++ b/benchmarks/drivers/Java/EspAlarm/EspAlarm.config
@@ -5,3 +5,6 @@ INTERFACE_STUB_CLASS=AlarmSmart
 
 # Language
 LANGUAGE=Java
+
+# Tomoyo
+ADDITIONAL_MAC_POLICY=No