I'm developing a microkernel for my personal research. I have chosen to run my kernel at 0xf0000000, leaving 3.75 GiB for user space programs. When my kernel st
Once I initialize and load my GDT into the GDTR using lgdt, how can I update the GDT later? Am I correct if I use the sgdt command to get the base address and t
I've been trying to compile an OS however whenever I attempt to compile it using the make file it only compiles "kernel.c" and I can't seem to figure out why. I