Arduino system resource usage

Can anyone tell me what chip resources are used by the Arduino operating system on the DUE board.
I am assuming at least one timer counter channel for the Arduino Millis function etc.