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