11 Nov
2015
11 Nov
'15
7:19 p.m.
Where does the seL4 microkernel actually get the timing information it needs to enforce scheduling decisions? I can imagine some sort of interrupt or I/O access is required to get it from the raw hardware. How does it get from the timing hardware to the scheduling code?
3854
Age (days ago)
3855
Last active (days ago)
4 comments
4 participants
participants (4)
-
Gernot Heiser -
Gerwin Klein -
Harry Butterworth -
Raymond Jennings