diff --git a/Makefile b/Makefile
index 9d9f05ae8b..c88458849c 100644
--- a/Makefile
+++ b/Makefile
@@ -763,6 +763,7 @@ clean:
 	$(Q)rm -f $(WH_NVM_BIN) $(WH_NVM_HEX)
 	$(Q)rm -f test-lib
 	$(Q)rm -f lib-fs
+	$(Q)rm -f libwolfboot.a
 	$(Q)$(MAKE) -C test-app clean V=$(V)
 	$(Q)$(MAKE) -C tools/check_config -s clean
 	$(Q)$(MAKE) -C stage1 -s clean
diff --git a/docs/lib.md b/docs/lib.md
index 8a662b8c41..38bc3c2b45 100644
--- a/docs/lib.md
+++ b/docs/lib.md
@@ -4,7 +4,6 @@ Instead of building as standalone repository, wolfBoot can be built as
 a secure-boot library and integrated in third party bootloaders, custom
 staging solutions etc.
 
-
 ## Library API
 
 The wolfBoot secure-boot image verification has a very simple interface.
diff --git a/options.mk b/options.mk
index 954ac338f4..c3dba9d961 100644
--- a/options.mk
+++ b/options.mk
@@ -26,6 +26,8 @@ WOLFHSM_SERVER_OBJS := \
   $(WOLFBOOT_LIB_WOLFHSM)/src/wh_keyid.o \
   $(WOLFBOOT_LIB_WOLFHSM)/src/wh_flash_unit.o \
   $(WOLFBOOT_LIB_WOLFHSM)/src/wh_crypto.o \
+  $(WOLFBOOT_LIB_WOLFHSM)/src/wh_dma.o \
+  $(WOLFBOOT_LIB_WOLFHSM)/src/wh_server_dma.o \
   $(WOLFBOOT_LIB_WOLFHSM)/src/wh_server.o \
   $(WOLFBOOT_LIB_WOLFHSM)/src/wh_server_nvm.o \
   $(WOLFBOOT_LIB_WOLFHSM)/src/wh_server_crypto.o \