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