diff --git a/src/kernel/emulation/linux/simple.c b/src/kernel/emulation/linux/simple.c
index 483e20244..43f4d799f 100644
--- a/src/kernel/emulation/linux/simple.c
+++ b/src/kernel/emulation/linux/simple.c
@@ -117,6 +117,15 @@ void __simple_printf(const char* format, ...)
 	LINUX_SYSCALL3(__NR_write, 1, buffer, __simple_strlen(buffer));
 }
 
+void __simple_sprintf(char *buffer, const char* format, ...)
+{
+	va_list vl;
+
+	va_start(vl, format);
+	__simple_vsprintf(buffer, format, vl);
+	va_end(vl);
+}
+
 extern void *memmove(void *dest, const void *src, __SIZE_TYPE__ n);
 extern void *memcpy(void *dest, const void *src, __SIZE_TYPE__ n);
 extern void *memchr(const void *s, int c, __SIZE_TYPE__ n);
diff --git a/src/kernel/emulation/linux/simple.h b/src/kernel/emulation/linux/simple.h
index e5e604d17..a078879c9 100644
--- a/src/kernel/emulation/linux/simple.h
+++ b/src/kernel/emulation/linux/simple.h
@@ -2,6 +2,7 @@
 #define LINUX_DEBUG_H
 
 void __simple_printf(const char* format, ...);
+void __simple_sprintf(char *buffer, const char* format, ...);
 int __simple_strlen(const char* str);
 
 struct simple_readline_buf