diff --git a/src/hci/commands/fdt_cmd.c b/src/hci/commands/fdt_cmd.c
index 7cd39279b..cc3509fc4 100644
--- a/src/hci/commands/fdt_cmd.c
+++ b/src/hci/commands/fdt_cmd.c
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <getopt.h>
 #include <ipxe/command.h>
diff --git a/src/include/usr/fdtmgmt.h b/src/include/usr/fdtmgmt.h
index 3d3aef859..182df2974 100644
--- a/src/include/usr/fdtmgmt.h
+++ b/src/include/usr/fdtmgmt.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/image.h>
 
diff --git a/src/usr/fdtmgmt.c b/src/usr/fdtmgmt.c
index dabeef2c8..9952ec47a 100644
--- a/src/usr/fdtmgmt.c
+++ b/src/usr/fdtmgmt.c
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/fdt.h>
 #include <usr/fdtmgmt.h>