Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision 7d6f7d2b21be2ad76c0bd09a71d0a5510212b096)
+++ kernel/arch/abs32le/src/abs32le.c	(revision c1d354979b0e891f4be092b5abd830b8b06f53f4)
@@ -107,4 +107,25 @@
 }
 
+void memsetb(void *dst, size_t cnt, uint8_t val)
+{
+	_memsetb(dst, cnt, val);
+}
+
+void memsetw(void *dst, size_t cnt, uint16_t val)
+{
+	_memsetw(dst, cnt, val);
+}
+
+void panic_printf(char *fmt, ...)
+{
+	va_list args;
+	
+	va_start(args, fmt);
+	vprintf(fmt, args);
+	va_end(args);
+	
+	halt();
+}
+
 /** @}
  */