4 files changed, 59 insertions, 0 deletions
diff --git a/kernel/include/stdio.h b/kernel/include/stdio.h
new file mode 100644
index 0000000..eb4e45b
--- /dev/null
+++ b/kernel/include/stdio.h
@@ -0,0 +1,18 @@
+#ifndef _STDIO_H
+#define _STDIO_H 1
+ 
+#define EOF (-1)
+ 
+#ifdef __cplusplus
+extern "C" {
+#endif
+ 
+int printf(const char* __restrict, ...);
+int putchar(int);
+int puts(const char*);
+ 
+#ifdef __cplusplus
+}
+#endif
+ 
+#endif
+\ No newline at end of file
diff --git a/kernel/include/stdlib.h b/kernel/include/stdlib.h
new file mode 100644
index 0000000..1d1ee32
--- /dev/null
+++ b/kernel/include/stdlib.h
@@ -0,0 +1,15 @@
+#ifndef _STDLIB_H
+#define _STDLIB_H 1
+ 
+#ifdef __cplusplus
+extern "C" {
+#endif
+ 
+__attribute__((__noreturn__))
+void abort(void);
+ 
+#ifdef __cplusplus
+}
+#endif
+ 
+#endif
+\ No newline at end of file
diff --git a/kernel/include/string.h b/kernel/include/string.h
new file mode 100644
index 0000000..4f6b5bd
--- /dev/null
+++ b/kernel/include/string.h
@@ -0,0 +1,20 @@
+#ifndef _STRING_H
+#define _STRING_H 1
+ 
+#include <stddef.h>
+ 
+#ifdef __cplusplus
+extern "C" {
+#endif
+ 
+int memcmp(const void*, const void*, size_t);
+void* memcpy(void* __restrict, const void* __restrict, size_t);
+void* memmove(void*, const void*, size_t);
+void* memset(void*, int, size_t);
+size_t strlen(const char*);
+ 
+#ifdef __cplusplus
+}
+#endif
+ 
+#endif
+\ No newline at end of file
diff --git a/kernel/include/sys/cdefs.h b/kernel/include/sys/cdefs.h
new file mode 100644
index 0000000..1e2c277
--- /dev/null
+++ b/kernel/include/sys/cdefs.h
@@ -0,0 +1,6 @@
+#ifndef _SYS_CDEFS_H
+#define _SYS_CDEFS_H 1
+ 
+
+ 
+#endif
+\ No newline at end of file