Index: boot/arch/arm32/Makefile.inc
===================================================================
--- boot/arch/arm32/Makefile.inc	(revision 5713e5faae70dc250ec698512ff0096c4b9891ce)
+++ boot/arch/arm32/Makefile.inc	(revision fb41d4498defd19c7349af2f58df51a13bfaddfd)
@@ -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