arduino resource usage

Can anyone tell me what chip resource the Arduino operating system uses on the DUE board? E.g. are all the timers available or does the arduino operating system use any? Thanks