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?
3786
Age (days ago)
3787
Last active (days ago)
4 comments
4 participants
participants (4)
-
Gernot Heiser -
Gerwin Klein -
Harry Butterworth -
Raymond Jennings