1/*
2 * Copyright 2006, Ingo Weinhold <bonefish@cs.tu-berlin.de>.
3 * Distributed under the terms of the MIT License.
4 */
5
6#include <OS.h>
7
8#include <arch_cpu.h>
9#include <libroot_private.h>
10#include <real_time_data.h>
11
12
13void
14__arch_init_time(struct real_time_data *data, bool setDefaults)
15{
16}
17
18
19bigtime_t
20__arch_get_system_time_offset(struct real_time_data *data)
21{
22	return 0;
23}
24