/* We could do some board level checks here, such as working out what version it is, but for this board we simply display it's name (on the console).  */
int checkboard(void)
/* We could do some board level checks here, such as working out what version it is, but for this board we simply display it's name (on the console).  */
int checkboard(void)
{
    puts( "Board: Wind River PPMC 7xx/74xx\n" );
    return 0;
}