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 <kernel/debug.h> 7 #include <kernel/arch/debug.h> 8 9