arduino resource usage

[clayender]

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