seL4/src/kernel
Adrian Danis a2409b9888 getHighestPrio calculation as a wrapper
Moves the logic from chooseThread into a dedicated helper function
2017-11-28 10:18:35 +11:00
..
boot.c
cspace.c
faulthandler.c
Makefile
stack.c
thread.c getHighestPrio calculation as a wrapper 2017-11-28 10:18:35 +11:00