Exercise HAC rego updated with GPIO name

lowRISC · Nov 8, 2024 · 9a7d178 · 9a7d178
1 parent 9af394a
commit 9a7d178
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/exercises/hardware_access_control/part_3/gpio_access.rego b/exercises/hardware_access_control/part_3/gpio_access.rego
@@ -6,7 +6,7 @@ package gpio_access
 # Checks only `gpio_access` has access to the GPIO MMIO
 default only_gpio_access_has_access := false
 only_gpio_access_has_access {
-  data.compartment.mmio_allow_list("gpio", { "gpio_access" })
+  data.compartment.mmio_allow_list("gpio_board", { "gpio_access" })
 }
 
 # Checks only `blinky_dynamic` and `led_walk_dynamic` have access