void earlycon_reinit(void)
Sets up the early console again, once the kernel's command line has been read, since it may choose an...
void x86_gdt_setup(struct cpu *cpu, uintptr_t sp)
Sets up and loads the running CPU's GDT and TSS, and points gs (or the GS base, on x86_64) at its str...
void mm_setup(struct boot *boot)
Sets up physical memory at boot, from the boot loader's memory map: the page structures,...
void kmain(struct boot *boot)
Starts the kernel's generic part, once the architecture has set up the CPU, memory and the platform.
int printk(const char *fmt,...)
Writes a kernel message, to the message buffer and the consoles.