2 ** Copyright 2001-2004, Travis Geiselbrecht. All rights reserved.
3 ** Distributed under the terms of the NewOS License.
5 #ifndef _NEWOS_KERNEL_ARCH_ARM_DEBUG_H
6 #define _NEWOS_KERNEL_ARCH_ARM_DEBUG_H
8 /* XXX what is the ARM gdb count? */
9 #define GDB_REGISTER_FILE_COUNT 32