#include <device/device.h>

struct chip_operations mainboard_ops = {
	CHIP_NAME("Intel Xeon E7501 DevKit Mainboard")
};