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