Index: boot/Makefile.common
===================================================================
--- boot/Makefile.common	(revision 763e0cddf0e1c4057130bf42fd3ecf4c6658bc63)
+++ boot/Makefile.common	(revision 2f2f1186de8d6eec50ff4055d612fcbf7a87c774)
@@ -143,4 +143,5 @@
 	$(USPACE_PATH)/app/blkdump/blkdump \
 	$(USPACE_PATH)/app/bnchmark/bnchmark \
+	$(USPACE_PATH)/app/devctl/devctl \
 	$(USPACE_PATH)/app/dltest/dltest \
 	$(USPACE_PATH)/app/dltest2/dltest2 \