New build parameters and shared includes

This changes many files but I've just applied some replace commands.. So
- nothing special!

8 files changed, 15 insertions, 59 deletions

diff --git a/src/userspace/libc/stdarg.h b/src/userspace/libc/stdarg.h
deleted file mode 100644
index 2f45f23..0000000
--- a/src/userspace/libc/stdarg.h
+++ /dev/null
@@ -1,9 +0,0 @@
-#ifndef MELVIX_STDARG_H
-#define MELVIX_STDARG_H
-
-typedef __builtin_va_list va_list;
-#define va_start __builtin_va_start
-#define va_end __builtin_va_end
-#define va_arg __builtin_va_arg
-
-#endif
\ No newline at end of file
diff --git a/src/userspace/libc/stdbool.h b/src/userspace/libc/stdbool.h
deleted file mode 100644
index 337ca9b..0000000
--- a/src/userspace/libc/stdbool.h
+++ /dev/null
@@ -1,11 +0,0 @@
-#ifndef MELVIX_STDBOOL_H
-#define MELVIX_STDBOOL_H
-
-#define true 1
-#define false 0
-
-// For the strange people in the world
-#define TRUE 1
-#define FALSE 0
-
-#endif
\ No newline at end of file
diff --git a/src/userspace/libc/stddef.h b/src/userspace/libc/stddef.h
deleted file mode 100644
index 09dc508..0000000
--- a/src/userspace/libc/stddef.h
+++ /dev/null
@@ -1,8 +0,0 @@
-#ifndef MELVIX_STDDEF_H
-#define MELVIX_STDDEF_H
-
-// size_t
-
-#define NULL ((void *)0)
-
-#endif
\ No newline at end of file
diff --git a/src/userspace/libc/stdint.h b/src/userspace/libc/stdint.h
deleted file mode 100644
index 63f29f4..0000000
--- a/src/userspace/libc/stdint.h
+++ /dev/null
@@ -1,18 +0,0 @@
-#ifndef MELVIX_STDINT_H
-#define MELVIX_STDINT_H
-
-// TODO: Use shorter fixed length integers as stdint in kernel
-
-typedef signed char s8;
-typedef unsigned char u8;
-
-typedef signed short s16;
-typedef unsigned short u16;
-
-typedef signed int s32;
-typedef unsigned int u32;
-
-typedef signed long long s64;
-typedef unsigned long long u64;
-
-#endif
\ No newline at end of file
diff --git a/src/userspace/libc/syscall.c b/src/userspace/libc/syscall.c
index fc0e09a..cf9dc89 100644
--- a/src/userspace/libc/syscall.c
+++ b/src/userspace/libc/syscall.c
@@ -1,22 +1,24 @@
+#include <stdint.h>
+#include <common.h>
 #include <syscall.h>
 
 /**
  * DEFINITIONS
  */
-DEFN_SYSCALL0(halt, 0);
+DEFN_SYSCALL0(halt, SYS_HALT);
 
-DEFN_SYSCALL1(exit, 1, u32);
+DEFN_SYSCALL1(exit, SYS_EXIT, u32);
 
-DEFN_SYSCALL0(fork, 2);
+DEFN_SYSCALL0(fork, SYS_FORK);
 
-DEFN_SYSCALL4(read, 3, char *, u32, u32, u8 *);
+DEFN_SYSCALL4(read, SYS_READ, char *, u32, u32, u8 *);
 
-DEFN_SYSCALL4(write, 4, char *, u32, u32, u8 *);
+DEFN_SYSCALL4(write, SYS_WRITE, char *, u32, u32, u8 *);
 
-DEFN_SYSCALL1(exec, 5, char *);
+DEFN_SYSCALL1(exec, SYS_EXEC, char *);
 
-DEFN_SYSCALL0(get_pid, 6);
+DEFN_SYSCALL0(get_pid, SYS_GET_PID);
 
-DEFN_SYSCALL1(malloc, 7, u32);
+DEFN_SYSCALL1(malloc, SYS_MALLOC, u32);
 
-DEFN_SYSCALL1(free, 8, u32);
\ No newline at end of file
+DEFN_SYSCALL1(free, SYS_FREE, u32);
\ No newline at end of file
diff --git a/src/userspace/libc/unistd.h b/src/userspace/libc/unistd.h
index f9644f1..ac0bacf 100644
--- a/src/userspace/libc/unistd.h
+++ b/src/userspace/libc/unistd.h
@@ -11,8 +11,8 @@ u32 fork();
 
 u32 get_pid();
 
-u32 read(char *path, u32 offset, u32 count, char *buf);
+u32 read(char *path, u32 offset, u32 count, u8 *buf);
 
-u32 write(char *path, u32 offset, u32 count, char *buf);
+u32 write(char *path, u32 offset, u32 count, u8 *buf);
 
 #endif
\ No newline at end of file
diff --git a/src/userspace/libc/unistd/read.c b/src/userspace/libc/unistd/read.c
index 0f8b914..7ae2626 100644
--- a/src/userspace/libc/unistd/read.c
+++ b/src/userspace/libc/unistd/read.c
@@ -1,7 +1,7 @@
 #include <stdint.h>
 #include <syscall.h>
 
-u32 read(char *path, u32 offset, u32 count, char *buf)
+u32 read(char *path, u32 offset, u32 count, u8 *buf)
 {
 	return syscall_read(path, offset, count, buf);
 }
\ No newline at end of file
diff --git a/src/userspace/libc/unistd/write.c b/src/userspace/libc/unistd/write.c
index 7cae9cd..cd1a0f6 100644
--- a/src/userspace/libc/unistd/write.c
+++ b/src/userspace/libc/unistd/write.c
@@ -1,7 +1,7 @@
 #include <stdint.h>
 #include <syscall.h>
 
-u32 write(char *path, u32 offset, u32 count, char *buf)
+u32 write(char *path, u32 offset, u32 count, u8 *buf)
 {
 	return syscall_write(path, offset, count, buf);
 }
\ No newline at end of file