seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
24 stars 60 forks source link

SCHED0022: do not request unnecessary refills #81

Closed lsf37 closed 1 year ago

lsf37 commented 1 year ago

When this test was introduced in commit beff0afd0bbb6d it requested 1 extra refill in each sched_context_configure call. These extra refills are not necessary to change the core/affinity of the SC and were probably an oversight.

The calls succeed when there is enough space in the SchedContext for at least 4 refills, but fail for 64 bit architectures with the now (seL4/seL4@bb6a00ffe25) tighter minimum SchedContext size where the minimum size works out to exactly 2 refills.