Index: boot/arch/ia32/Makefile.inc
===================================================================
--- boot/arch/ia32/Makefile.inc	(revision bbd0e4f265064ce2e391c1c4e2174452333adb0d)
+++ boot/arch/ia32/Makefile.inc	(revision a095d202b1caf823b2b66c86fe55c5a3b8bdd306)
@@ -48,4 +48,5 @@
 	$(USPACEDIR)/srv/kbd/kbd \
 	$(USPACEDIR)/srv/console/console \
+	$(USPACEDIR)/srv/fs/devfs/devfs \
 	$(USPACEDIR)/srv/fs/tmpfs/tmpfs \
 	$(USPACEDIR)/srv/fs/fat/fat