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

JE-Archer wants to merge 1 commit intoseL4:masterseL4/sel4test:masterfrom

JE-Archer:non_const_domainsJE-Archer/sel4test:non_const_domainsCopy head branch name to clipboard