#Letter#
#Device Tree
(SoC and board)#
#Basic
"initialization"
C file
+
basic header
files#
#Timer
driver#
#IRQ controller
driver#
#Serial port
driver
(already existing
8250 driver)#
#arch/arm/boot/dts/#
#arch/arm/mach-mvebu/#
#drivers/clocksource/#
#drivers/irqchip/#
#drivers/tty/serial/#
#earlyprintk
support#
#arch/arm/include/debug#