1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * This software may be distributed and modified according to the terms of
5 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
6 * See "LICENSE_GPLv2.txt" for details.
7 *
8 * @TAG(GD_GPL)
9 */
10
11#include <object/structures.h>
12#include <model/statedata.h>
13
14/* Random schedule clagged from Tim's original example. */
15const dschedule_t ksDomSchedule[] = {
16    { .domain = 0, .length = 15 },
17    { .domain = 2, .length = 42 },
18    { .domain = 1, .length = 73 },
19};
20
21const word_t ksDomScheduleLength = sizeof(ksDomSchedule) / sizeof(dschedule_t);
22