#include <device/device.h> struct chip_operations mainboard_ops = { CHIP_NAME("Tyan S2850 Mainboard") };