/* Set a trigger on the rising edge of the reset pin, and measure the delay between the rising edge of reset and the rising edge of GPIO 2.1.  */
int main(void)
/* Set a trigger on the rising edge of the reset pin, and measure the delay between the rising edge of reset and the rising edge of GPIO 2.1.  */
int main(void)
{
  SCB_SYSAHBCLKCTRL |= (SCB_SYSAHBCLKCTRL_GPIO);
  GPIO_GPIO2DIR  |= (1 << 1);
  GPIO_GPIO2DATA |= (1 << 1);
  while(1)
  {
  }
  return 0;
}