/* Initializes ACLK, MCLK, SMCLK outputs on P11.0, P11.1, and P11.2, respectively.  */
void halBoardOutputSystemClock(void)
/* Initializes ACLK, MCLK, SMCLK outputs on P11.0, P11.1, and P11.2, respectively.  */
void halBoardOutputSystemClock(void)
{
  CLK_PORT_DIR |= 0x07;
  CLK_PORT_SEL |= 0x07;
}