/trunk/kernel/arch/ia32/src/mm/as.c |
---|
39,9 → 39,7 |
/** Architecture dependent address space init. */ |
void as_arch_init(void) |
{ |
#ifndef __OBJC__ |
as_operations = &as_pt_operations; |
#endif |
} |
/** @} |
/trunk/kernel/arch/ia32/Makefile.inc |
---|
33,7 → 33,7 |
BFD_ARCH = i386 |
BFD = binary |
TARGET = i686-pc-linux-gnu |
TOOLCHAIN_DIR = /usr/local/i686 |
TOOLCHAIN_DIR = /usr/local/i686/bin |
DEFS += -DMACHINE=$(MACHINE) -D__32_BITS__ |