diff options
Diffstat (limited to 'website-kernel/arch/kernel.c')
| -rw-r--r-- | website-kernel/arch/kernel.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/website-kernel/arch/kernel.c b/website-kernel/arch/kernel.c new file mode 100644 index 0000000..28c94d3 --- /dev/null +++ b/website-kernel/arch/kernel.c @@ -0,0 +1,9 @@ +#include <int.h> +#include <log.h> + +#define SERIAL_PORT 0x70000000 + +void kernel_main(size_t hart) { + (void)hart; + printk("wkern version %s (Compiler %s, Linker %s) on %s\n", VERSION, COMPILER_NAME, LINKER_NAME, ARCH_NAME); +} |