arch → drivers Relation

File in src/kernelarchx86_64boardpcarch	Includes file in src/kernelarchx86_64boardpcdrivers
io.c	keyboard.h
kernel.c	vga_text.h
time.c	cmos.h