As announced in http://permalink.gmane.org/gmane.linux.bios/81918 I am removing all boards older than 10 years from the tree.
Change-Id: I41d1f9eac2f4c37bec4d046a68f3f1cf95b51703
1115625 [REMOVAL] tyan/s4880
src/mainboard/tyan/s4880/Kconfig | 57 -------
src/mainboard/tyan/s4880/Kconfig.name | 2 -
src/mainboard/tyan/s4880/board_info.txt | 4 -
src/mainboard/tyan/s4880/cmos.layout | 60 -------
src/mainboard/tyan/s4880/devicetree.cb | 98 ------------
src/mainboard/tyan/s4880/irq_tables.c | 43 -----
src/mainboard/tyan/s4880/mptable.c | 214 -------------------------
src/mainboard/tyan/s4880/resourcemap.c | 263 -------------------------------
src/mainboard/tyan/s4880/romstage.c | 151 ------------------
9 files changed, 892 deletions(-)
Upstream: review.coreboot.org