KERNEL_ARCH_CFLAGS=
KERNEL_ARCH_CPPFLAGS=
KERNEL_ARCH_LDFLAGS=
KERNEL_ARCH_LIBS=
 
ELF_FORMAT=elf32-i386

KERNEL_ARCH_OBJS=		\
$(ARCHDIR)/boot.o		\
$(ARCHDIR)/GDT.o		\
$(ARCHDIR)/IDT.o		\
$(ARCHDIR)/MMU.o		\
$(ARCHDIR)/SpinLock.o	\
$(ARCHDIR)/Thread.o		\