From a8fbcd9e0344aad067cc67060ce3a7b1b0e7c9d1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Lov=C3=A9n?= <thomasloven@gmail.com>
Date: Tue, 24 Oct 2017 16:18:27 +0200
Subject: [PATCH] Top level makefile. Also make clean

---
 Makefile            | 17 +++++++++++++++++
 src/kernel/Makefile | 11 +++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..a5902cb
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,17 @@
+ifeq ($(MITTOS64),)
+$(error Unsupported environment! See README)
+endif
+
+.PHONY: kernel clean
+
+all: kernel
+
+kernel:
+ifeq ($(shell make -sqC src/kernel || echo 1), 1)
+	$(MAKE) -C src/kernel install
+endif
+
+clean:
+	$(MAKE) -C src/kernel clean
+	rm -rf sysroot
+
diff --git a/src/kernel/Makefile b/src/kernel/Makefile
index 3207999..174668b 100644
--- a/src/kernel/Makefile
+++ b/src/kernel/Makefile
@@ -15,5 +15,16 @@ all: kernel
 kernel: LDFLAGS += -n -nostdlib -T Link.ld
 kernel: $(OBJ)
 	$(LINK.c) $^ -o $@
+
+
+# Copy kernel to sysroot
+/opt/sysroot/kernel: kernel
 	mkdir -p /opt/sysroot
 	cp kernel /opt/sysroot/kernel
+
+install: /opt/sysroot/kernel
+
+clean:
+	rm -rf $(OBJ) kernel
+
+.PHONY: install