pc → drivers Relation

File in src/kernelarchx86_64boardpc	Includes file in src/kernelarchx86_64boardpcdrivers
arch / io.c	keyboard.h
arch / kernel.c	vga_text.h
net.c	rtl8139.h
arch / time.c	cmos.h
console / vga_console.c	vga_text.h