diff --git a/BoardConfig.mk b/BoardConfig.mk
index c5a8440..829e84e 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -29,6 +29,8 @@
 $(call add_peripheral, intel, sensors/mraa)
 # Add HW Keystore support
 $(call add_peripheral, intel, keystore/chaabi/src)
+# Bootctrl HAL
+$(call add_peripheral, intel, bootctrl)
 
 BOARD_SYSTEMIMAGE_PARTITION_SIZE := 268435456
 BOARD_USERDATAIMAGE_PARTITION_SIZE := 536870912