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