Meta: Cleanup of header files such that they are partially shared

The /include directory contains definitons that both the kernel and libc
need to be in sync.

3 files changed, 0 insertions, 62 deletions

diff --git a/kernel/includes/sys/stat.h b/kernel/includes/sys/stat.h
deleted file mode 100644
index 92bb67e..0000000
--- a/kernel/includes/sys/stat.h
+++ /dev/null
@@ -1,36 +0,0 @@
-#ifndef SYS_STAT_H
-#define SYS_STAT_H
-#include <sys/types.h>
-#include <time.h>
-
-#define STAT_REG 0
-#define STAT_DIR 1
-
-struct stat {
-  dev_t st_dev;     // Device ID of device containing file.
-  ino_t st_ino;     // File serial number.
-  mode_t st_mode;   // Mode of file (see below).
-  nlink_t st_nlink; // Number of hard links to the file.
-  uid_t st_uid;     // User ID of file.
-  gid_t st_gid;     // Group ID of file.
-  dev_t st_rdev;    // Device ID (if file is character or block special).
-
-  off_t st_size; // For regular files, the file size in bytes.
-                 // For symbolic links, the length in bytes of the
-                 // pathname contained in the symbolic link.
-                 // For a shared memory object, the length in bytes.
-                 // For a typed memory object, the length in bytes.
-                 // For other file types, the use of this field is
-                 // unspecified.
-
-  struct timespec st_atim; // Last data access timestamp.
-  struct timespec st_mtim; // Last data modification timestamp.
-  struct timespec st_ctim; // Last file status change timestamp.
-
-  blksize_t st_blksize; //  A file system-specific preferred I/O block size
-                        // for this object. In some file system types, this
-                        // may vary from file to file.
-
-  blkcnt_t st_blocks; // Number of blocks allocated for this object.
-};
-#endif
diff --git a/kernel/includes/sys/types.h b/kernel/includes/sys/types.h
deleted file mode 100644
index f82eff7..0000000
--- a/kernel/includes/sys/types.h
+++ /dev/null
@@ -1,15 +0,0 @@
-#ifndef TYPES_H
-#define TYPES_H
-#include <typedefs.h>
-typedef int time_t;
-typedef int pid_t;
-typedef u16 dev_t;
-typedef u16 uid_t;
-typedef u16 ino_t;
-typedef u16 mode_t;
-typedef u16 nlink_t;
-typedef i32 gid_t;
-typedef u64 off_t;
-typedef i64 blksize_t;
-typedef i64 blkcnt_t;
-#endif
diff --git a/kernel/includes/typedefs.h b/kernel/includes/typedefs.h
deleted file mode 100644
index e290716..0000000
--- a/kernel/includes/typedefs.h
+++ /dev/null
@@ -1,11 +0,0 @@
-#include <stdint.h>
-
-typedef uint8_t u8;
-typedef uint16_t u16;
-typedef uint32_t u32;
-typedef uint64_t u64;
-
-typedef int8_t i8;
-typedef int16_t i16;
-typedef int32_t i32;
-typedef int64_t i64;