################################################################################
#
#   Copyright (c) 2012 Minoca Corp. All Rights Reserved
#
#   Binary Name:
#
#       Kernel Debugger
#
#   Abstract:
#
#       This library contains the support code necessary to enable debugging
#       of a running kernel. This library is included in all versions of the
#       operating system.
#
#   Author:
#
#       Evan Green 10-Aug-2012
#
#   Environment:
#
#       Kernel
#
################################################################################

BINARY = kd.a

BINARYTYPE = library

OBJS = kdebug.o   \

ARMV7_OBJS = armv7/kdarch.o   \
             armv7/kdatomic.o \
             armv7/kdsup.o    \
             armv7/kdsupc.o   \

ARMV6_OBJS = $(ARMV7_OBJS)

X86_OBJS = x86/kdarch.o   \
           x86/kdsup.o    \

EXTRA_SRC_DIRS = x86 armv7 armv6

DIRS = boot kdusb

include $(SRCROOT)/os/minoca.mk

