From 4af4ad89a4707ff20fe9ea903908bc0a806c354d Mon Sep 17 00:00:00 2001 From: Curle Date: Tue, 20 Aug 2019 16:41:11 +0100 Subject: [PATCH] Updated the kernel.c comments. Minor changes, but whatever. --- kernel/kernel.c | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/kernel/kernel.c b/kernel/kernel.c index c830fcc..e2ec2f6 100644 --- a/kernel/kernel.c +++ b/kernel/kernel.c @@ -20,13 +20,17 @@ void gdb_end() {} /* GDB Debugging stump */ -int kernel_main(FILELOADER_PARAMS* FLOP) { - /* The kernel is started in 64-bit Long Mode by Syncboot. */ - /* Here, we start by drawing a splash, then loading a GDT and IDT into the placeholder UEFI gives us. */ +static size_t time = 0; + +int kernel_main(FILELOADER_PARAMS* FLOP) { + init_serial(); + serial_printf("Kernel has been given control of the computer.\nStarting bootstrap init.\n"); + /* The kernel is started in 64-bit Long Mode by Syncboot. */ + + /* PrepareSystem just initializes all hardware features and gets the system ready to execute every function. + /* Most of this is just preparing the interrupts system, but there is a bit of messing with AVX features, which are used extensively in drawing graphics. */ + - - /* Not sure how well serial would work in UEFI. */ - // TODO: look at this. PrepareSystem(FLOP); gdb_end(); /* The first important step. Waypoint it for gdb debugging. */