purpose. */\r
vPortEnableInterrupt( XPAR_INTC_0_TMRCTR_0_VEC_ID );\r
\r
- /* Configure the timer interrupt handler. */\r
+ /* Configure the timer interrupt handler. This installs the handler\r
+ directly, rather than through the Xilinx driver. This is done for\r
+ efficiency. */\r
XTmrCtr_SetHandler( &xTickTimerInstance, ( void * ) vPortTickISR, NULL );\r
\r
/* Set the correct period for the timer. */\r