On 12 Nov 2015, at 19:38 , Raymond Jennings
<shentino@gmail.com<mailto:shentino@gmail.com>> wrote:
So this basically means that the microkernel has its own driver code for the timing
hardware?
Yes. The microkernel has two drivers: the interrupt controller (needed to assign
interrupts to handlers) and a timer (needed for preemption). When compiled for debugging
there’s also a serial driver.
Gernot
________________________________
The information in this e-mail may be confidential and subject to legal professional
privilege and/or copyright. National ICT Australia Limited accepts no liability for any
damage caused by this email or its attachments.