if TARGET_PCI5441

config SYS_BOARD
	string
	default "pci5441"

config SYS_VENDOR
	string
	default "psyent"

config SYS_CONFIG_NAME
	string
	default "PCI5441"

endif