2004-01-12 21:00:43 +01:00
|
|
|
#include <console/console.h>
|
|
|
|
#include <device/device.h>
|
|
|
|
#include <device/pci.h>
|
|
|
|
#include <device/pci_ids.h>
|
|
|
|
#include <device/pci_ops.h>
|
|
|
|
#include "chip.h"
|
2004-10-20 07:07:16 +02:00
|
|
|
|
2004-11-05 23:03:37 +01:00
|
|
|
#if CONFIG_CHIP_NAME == 1
|
2004-10-20 07:07:16 +02:00
|
|
|
struct chip_operations mainboard_tyan_s2850_ops = {
|
2006-10-27 13:30:27 +02:00
|
|
|
CHIP_NAME("Tyan S2850 mainboard")
|
2004-10-20 07:07:16 +02:00
|
|
|
};
|
2004-11-05 23:03:37 +01:00
|
|
|
#endif
|