/lib/utils/
../
fdt
irqchip
libfdt
serial
sys
timer