1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/install_headers.sh b/scripts/install_headers.sh
new file mode 100755
index 0000000..ae0e560
--- /dev/null
+++ b/scripts/install_headers.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+SYSROOT="/opt/aleksa"
+GCC_DIR=$(gcc --print-file-name=)
+
+if [ ! -d mykernel ]; then
+    git clone "https://github.com/aleksav013/mykernel"
+fi
+
+rm -rf "$SYSROOT/usr/include"
+mkdir -p "$SYSROOT/usr/include"
+cp -r "$GCC_DIR"include/* "$SYSROOT/usr/include"
+cp -r mykernel/src/include/* "$SYSROOT/usr/include"
+cp "$SYSROOT/usr/include/stdint-gcc.h" "$SYSROOT/usr/include/stdint.h"