K. Lange b1fe4fa4ce More errno stuff 5 years ago
..
cpu 74b9e11d5c Fix some virtualbox guest additions stuff 5 years ago
devices 557f578574 Don't use my given name in copyright headers; update everything to 2018 because why not 5 years ago
ds 557f578574 Don't use my given name in copyright headers; update everything to 2018 because why not 5 years ago
fs dace5d456b Various errno-related fixes 5 years ago
mem 557f578574 Don't use my given name in copyright headers; update everything to 2018 because why not 5 years ago
misc 81e63c3b8c Fix missing ubsan_debug call for one mul handler 5 years ago
sys b1fe4fa4ce More errno stuff 5 years ago
boot.S 3f4293d357 Merge kernel 5 years ago
gdt.S 905f5c2c95 also set gs 5 years ago
idt.S 3f4293d357 Merge kernel 5 years ago
irq.S 3f4293d357 Merge kernel 5 years ago
isr.S 3f4293d357 Merge kernel 5 years ago
libc.c 1355502e6c Reorganize headers 5 years ago
link.ld 3f4293d357 Merge kernel 5 years ago
main.c e7ccc61d62 Support mode setting from EFI 5 years ago
spin.c 1355502e6c Reorganize headers 5 years ago
task.S 3f4293d357 Merge kernel 5 years ago
tss.S 3f4293d357 Merge kernel 5 years ago
user.S 3f4293d357 Merge kernel 5 years ago