Index: boot/arch/arm32/loader/Makefile
===================================================================
--- boot/arch/arm32/loader/Makefile	(revision 150385b9e997a42606e5cd52d68c7f1d91ee61d8)
+++ boot/arch/arm32/loader/Makefile	(revision a095d202b1caf823b2b66c86fe55c5a3b8bdd306)
@@ -90,4 +90,5 @@
 	$(USPACEDIR)/srv/kbd/kbd \
 	$(USPACEDIR)/srv/console/console \
+	$(USPACEDIR)/srv/fs/devfs/devfs \
 	$(USPACEDIR)/srv/fs/tmpfs/tmpfs \
 	$(USPACEDIR)/srv/fs/fat/fat
