[MINIOS] More cleanups for the ia64 port.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Fri, 19 Jan 2007 15:09:39 +0000 (15:09 +0000)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Fri, 19 Jan 2007 15:09:39 +0000 (15:09 +0000)
commit4e8586dfa35bf5114c0f620bdfcd2e0466e952a8
treeadb15d5096bd1b899433760ce705a01dd38d8315
parent2b68aee8293cf43f29dc5cf7ac1f23ff612c4a61
[MINIOS] More cleanups for the ia64 port.
Signed-off-by: Dietmar Hahn <dietmar.hahn@fujitsu-siemens.com>
extras/mini-os/arch/x86/sched.c
extras/mini-os/arch/x86/time.c [new file with mode: 0644]
extras/mini-os/include/sched.h
extras/mini-os/lib/math.c
extras/mini-os/lib/xmalloc.c
extras/mini-os/sched.c
extras/mini-os/time.c [deleted file]