Matheus e364f631e4 x86-64 isr: fix rbp not being pushed

2023-04-08 21:36:25 -03:00

..

e9.c

kernel: use mpaland printf

2023-04-08 14:01:31 -03:00

gdt.c

kernel: string.h, gdt, msr, cpu and ist

2023-04-08 17:17:03 -03:00

idt.c

kernel: x86-64 idt

2023-04-08 21:13:43 -03:00

isr.asm

x86-64 isr: fix rbp not being pushed

2023-04-08 21:36:25 -03:00

kernel.ld

initial commit

2023-04-08 01:11:30 -03:00

main.c

kernel: x86-64 idt

2023-04-08 21:13:43 -03:00