/** Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de.* Distributed under the terms of the MIT License.*/#ifndef _KERNEL_ARCH_MIPSEL_DEBUG_H#define _KERNEL_ARCH_MIPSEL_DEBUG_H#include <SupportDefs.h>struct arch_debug_registers {};#endif // _KERNEL_ARCH_MIPSEL_DEBUG_H