diff --git a/Makefile b/Makefile
index 249ecb9759..8b698fd23d 100644
--- a/Makefile
+++ b/Makefile
@@ -732,6 +732,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..5c8bf501c4 100644
--- a/docs/lib.md
+++ b/docs/lib.md
@@ -4,6 +4,11 @@ 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.
 
+This document covers the host-side verification library (`TARGET=library`,
+built for `ARCH=sim` with no platform HAL). To build a static library for a
+real platform target with all target settings, HAL and update logic
+included, build the `libwolfboot.a` make target directly (`make libwolfboot.a`).
+
 
 ## Library API
 
diff --git a/options.mk b/options.mk
index fe8ae22dc7..e9483a924d 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 \