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. */
11const dschedule_t ksDomSchedule[] = {
12    { .domain = 0, .length = 1 },
13};
14
15const word_t ksDomScheduleLength = sizeof(ksDomSchedule) / sizeof(dschedule_t);
16
17