Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 622f40971c4de54afef879c8d7d1bc1e522942ee)
+++ kernel/Makefile	(revision 2d2c6cef8ca048eefec9f50dd0b90ab2e1b8ce1e)
@@ -246,4 +246,5 @@
 	generic/src/lib/str.c \
 	generic/src/lib/elf.c \
+	generic/src/lib/ra.c \
 	generic/src/lib/rd.c \
 	generic/src/printf/printf_core.c \