1/*
2** Copyright 2001, Travis Geiselbrecht. All rights reserved.
3** Distributed under the terms of the NewOS License.
4*/
5#include <kernel/kernel.h>
6#include <boot/stage2.h>
7
8time_t system_time()
9{
10	return 0;
11}
12
13void arch_timer_set_hardware_timer(time_t timeout)
14{
15}
16
17void arch_timer_clear_hardware_timer()
18{
19}
20
21int arch_init_timer(kernel_args *ka)
22{
23	return 0;
24}
25
26