domain_schedule: remove const qualifiers

Signed-off-by: James Archer <[email protected]>
seL4 · Sep 6, 2024 · d8efbf6 · d8efbf6
1 parent fe4839e
commit d8efbf6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/domain_schedule.c b/domain_schedule.c
@@ -21,7 +21,7 @@
 #include <model/statedata.h>
 
 /* Default schedule. */
-const dschedule_t ksDomSchedule[] = {
+dschedule_t ksDomSchedule[] = {
     { .domain = 0, .length = 60 },
 #if CONFIG_NUM_DOMAINS > 1
     { .domain = 1, .length = 4 },
@@ -73,4 +73,4 @@ const dschedule_t ksDomSchedule[] = {
 #endif
 };
 
-const word_t ksDomScheduleLength = sizeof(ksDomSchedule) / sizeof(dschedule_t);
+word_t ksDomScheduleLength = sizeof(ksDomSchedule) / sizeof(dschedule_t);