K. Lange 864cbdb868 Fix debug shell not being able to start a shell by allowing system() in kernel to take an env 4 years ago
..
cpu 095d087e1d IRQ stuff 4 years ago
devices f10a54dd2b PIIX PIRQ handling? 4 years ago
ds 557f578574 Don't use my given name in copyright headers; update everything to 2018 because why not 4 years ago
fs 2a0d66b5ef Reduce some kernel debug message levels 4 years ago
mem 84b007fa6a missing initializers in page in shm 4 years ago
misc 864cbdb868 Fix debug shell not being able to start a shell by allowing system() in kernel to take an env 4 years ago
sys 4dbade5b5a waitpid should be able to ignore kernel processes 4 years ago
boot.S 3f4293d357 Merge kernel 4 years ago
gdt.S 905f5c2c95 also set gs 4 years ago
idt.S 3f4293d357 Merge kernel 4 years ago
irq.S 3f4293d357 Merge kernel 4 years ago
isr.S 3f4293d357 Merge kernel 4 years ago
libc.c 1355502e6c Reorganize headers 4 years ago
link.ld 3f4293d357 Merge kernel 4 years ago
main.c 864cbdb868 Fix debug shell not being able to start a shell by allowing system() in kernel to take an env 4 years ago
spin.c 1355502e6c Reorganize headers 4 years ago
task.S 3f4293d357 Merge kernel 4 years ago
tss.S 3f4293d357 Merge kernel 4 years ago
user.S 3f4293d357 Merge kernel 4 years ago