Index: boot/arch/arm32/Makefile.inc
===================================================================
--- boot/arch/arm32/Makefile.inc	(revision 5713e5faae70dc250ec698512ff0096c4b9891ce)
+++ boot/arch/arm32/Makefile.inc	(revision 4b334fd67169af5de794ce1053c6124e2ea71cd4)
@@ -75,5 +75,8 @@
 		char/pl050 \
 		char/xtkbd \
+		char/ps2mouse \
 		platform/icp
+	RD_SRVS_ESSENTIAL += \
+		$(USPACE_PATH)/srv/hw/irc/icp-ic/icp-ic
 endif