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