portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4/include
History
Anna Lyons 106b893ee0 mcs: configurable scheduling context size 
This allows users to define custom amounts of refills without
increasing the scheduling context size system wide.

also add libsel4 functions for refill size
2019-08-22 11:22:38 +10:00
..
api mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
interfaces mcs: configurable scheduling context size 2019-08-22 11:22:38 +10:00
sel4 mcs: configurable scheduling context size 2019-08-22 11:22:38 +10:00