/*
 * Copyright 2005, Axel Dörfler, axeld@pinc-software.de.
 * Distributed under the terms of the MIT License.
 */
#ifndef _KERNEL_ARCH_ARM_USER_DEBUGGER_H
#define _KERNEL_ARCH_ARM_USER_DEBUGGER_H

struct arch_team_debug_info {
};

struct arch_thread_debug_info {
};

#endif	// _KERNEL_ARCH_ARM_USER_DEBUGGER_H