diff --git a/platforms/nuttx/src/px4/common/px4_protected_layers.cmake b/platforms/nuttx/src/px4/common/px4_protected_layers.cmake
index b3e8b6209e..954282cc02 100644
--- a/platforms/nuttx/src/px4/common/px4_protected_layers.cmake
+++ b/platforms/nuttx/src/px4/common/px4_protected_layers.cmake
@@ -2,6 +2,8 @@
 # Build the user side px4_layer
 
 add_library(px4_layer
+	board_dma_alloc.c
+	board_fat_dma_alloc.c
 	tasks.cpp
 	console_buffer_usr.cpp
 	usr_mcu_version.cpp