/lib/utils/

• ../
• fdt
• ipi
• irqchip
• libfdt
• libquad
• reset
• serial
• sys
• timer