(don't merge) Remove const qualifiers from domain schedule variables

seL4 / sel4test

Test suite for seL4.

http://sel4.systems

Other

25 stars 63 forks source link

(don't merge) Remove const qualifiers from domain schedule variables #126

Open JE-Archer opened 2 months ago

JE-Archer commented 2 months ago

This PR removes the const qualifiers from the variables in domain_schedule.c, so that it may be compiled with a kernel that also lacks const qualifiers on these variables (see https://github.com/seL4/seL4/pull/1308).