4 files changed, 0 insertions, 59 deletions
diff --git a/kernel/include/stdio.h b/kernel/include/stdio.h
deleted file mode 100644
index eb4e45b..0000000
--- a/kernel/include/stdio.h
+++ /dev/null
@@ -1,18 +0,0 @@
-#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
deleted file mode 100644
index 1d1ee32..0000000
--- a/kernel/include/stdlib.h
+++ /dev/null
@@ -1,15 +0,0 @@
-#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
deleted file mode 100644
index 4f6b5bd..0000000
--- a/kernel/include/string.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#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
deleted file mode 100644
index 1e2c277..0000000
--- a/kernel/include/sys/cdefs.h
+++ /dev/null
@@ -1,6 +0,0 @@
-#ifndef _SYS_CDEFS_H
-#define _SYS_CDEFS_H 1
- 
-
- 
-#endif
-\ No newline at end of file