From 25108684fe235d4296c3cbc480298df209682586 Mon Sep 17 00:00:00 2001 From: stefan Date: Tue, 4 Apr 2023 06:01:50 +0000 Subject: build system and some other stuff --- sys/kern/init.c | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 sys/kern/init.c (limited to 'sys/kern/init.c') diff --git a/sys/kern/init.c b/sys/kern/init.c new file mode 100644 index 0000000..a49c304 --- /dev/null +++ b/sys/kern/init.c @@ -0,0 +1,11 @@ +#include +#include + +void +init(unsigned long hartid, struct fdt_header *fdt) +{ + kernel_earlyputs("booting...\n"); + if (fdt_uint32(fdt->magic) == FDT_HEADER_MAGIC) + kernel_earlyputs("found flattened device tree!\n"); + +} -- cgit v1.2.3