boot/head.o
drivers/gfx.o
drivers/gfx-as.o
drivers/gfx_font.o
drivers/pcspkr.o
drivers/ps2.o
drivers/tty.o
kernel/fpu.o
kernel/gdt-as.o
kernel/gdt.o
kernel/idt-as.o
kernel/idt.o
kernel/io.o
kernel/irq-as.o
kernel/irq.o
kernel/isr-as.o
kernel/isr.o
kernel/log.o
kernel/main.o
kernel/panic.o
kernel/timer.o
libc/stdio.o
libc/stdlib.o
libc/string.o