coreboot-kgpe-d16/src/mainboard/wyse/s50
..
chip.h
cmos.layout
devicetree.cb
irq_tables.c
Kconfig
mainboard.c
romstage.c