original_kernel/arch/x86/platform/mrst
..
Makefile
early_printk_mrst.c
mrst.c
pmu.c
pmu.h
vrtc.c