Initial project import

Makefile

@@ -0,0 +1,28 @@
+PROJECT := agila-open-kernel
+BUILD := build
+OBJ := $(BUILD)/obj
+BIN := $(BUILD)/bin
+GPRBUILD := gprbuild
+GPRCLEAN := gprclean
+
+.PHONY: all clean rebuild run help
+
+all:
+	mkdir -p $(OBJ) $(BIN)
+	$(GPRBUILD) -P kernel.gpr
+
+clean:
+	$(GPRCLEAN) -P kernel.gpr || true
+	rm -rf $(BUILD)
+
+rebuild: clean all
+
+run: all
+	$(BIN)/main
+
+help:
+	@echo "Agila Open Kernel"
+	@echo "make          Build the host prototype"
+	@echo "make run      Build and run the host prototype"
+	@echo "make clean    Remove build output"
+	@echo "make rebuild  Clean and rebuild"