Initial support for Intel XE7501DEVKIT.

[coreboot.git] / src / mainboard / intel / xe7501devkit / reset.c

void hard_reset(void)
{
        i82801ca_hard_reset();
}