gwdev/Sync
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Updated the kernel.c comments.

Browse Source 
Minor changes, but whatever.
This commit is contained in:
Curle 2019-08-20 16:41:11 +01:00
parent c5178d56bd
commit 4af4ad89a4
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
kernel/kernel.c
View File

@ -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. */