Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 622f40971c4de54afef879c8d7d1bc1e522942ee)
+++ kernel/Makefile	(revision 609cbf8e7f7d5f3ceec78dc1369fd73c169ec464)
@@ -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 \