diff --git a/sw/ext/Makefile b/sw/ext/Makefile
index f7473494f7..d26011e2f7 100644
--- a/sw/ext/Makefile
+++ b/sw/ext/Makefile
@@ -33,7 +33,7 @@ EXT_DIR=$(PAPARAZZI_SRC)/sw/ext
 include $(PAPARAZZI_SRC)/conf/Makefile.arm-embedded-toolchain
 
 
-all: libopencm3 luftboot chibios fatfs libsbp mavlink TRICAL
+all: libopencm3 luftboot chibios fatfs libsbp mavlink TRICAL hacl-c
 
 # update (and init if needed) all submodules
 update_submodules:
@@ -65,6 +65,8 @@ luftboot: libopencm3.update luftboot.update luftboot.build
 luftboot_flash: luftboot.build
 	$(Q)$(MAKE) -C luftboot/src flash BMP_PORT?=/dev/ttyACM0 LIBOPENCM3=../../libopencm3 PREFIX=$(PREFIX)
 
+hacl-c: hacl-c.update
+
 chibios: chibios.update
 
 TRICAL: TRICAL.update
diff --git a/sw/ext/hacl-c b/sw/ext/hacl-c
index abf113b5af..9f7381d809 160000
--- a/sw/ext/hacl-c
+++ b/sw/ext/hacl-c
@@ -1 +1 @@
-Subproject commit abf113b5afc24f8751de751776fb1435d6cb2327
+Subproject commit 9f7381d809e47b0f98e9f93ac6e5edab282f2660