1 /*
2  * Copyright 2014, General Dynamics C4 Systems
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #include <object/structures.h>
8 #include <model/statedata.h>
9 
10 /* Default schedule. */
11 const dschedule_t ksDomSchedule[] = {
12     { .domain = 0, .length = 1 },
13 };
14 
15 const word_t ksDomScheduleLength = sizeof(ksDomSchedule) / sizeof(dschedule_t);
16 
17