/src/mainboard/tyan/s4880/

• ../
• Kconfig
• Kconfig.name
• board_info.txt
• cmos.layout
• devicetree.cb
• irq_tables.c
• mptable.c
• resourcemap.c
• romstage.c