On 12 Nov 2015, at 19:38 , Raymond Jennings <[email protected]<mailto:[email protected]>> 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.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
