pc → core Relation

File in src/kernelarchx86_64boardpc	Includes file in src/kernelarchx86_64core
drivers / keyboard.c	interrupt.h
drivers / rtl8139.c	interrupt.h