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