/kernel/trunk/arch/sparc64/Makefile.inc |
---|
52,7 → 52,6 |
# |
CONFIG_PAGE_HT = y |
DEFS += -DCONFIG_PAGE_HT |
## Compile with support for address space identifiers. |
# |
/kernel/trunk/arch/ia64/Makefile.inc |
---|
55,7 → 55,6 |
# |
CONFIG_PAGE_HT = y |
DEFS += -DCONFIG_PAGE_HT |
## Compile with support for address space identifiers. |
# |
/kernel/trunk/arch/ppc32/Makefile.inc |
---|
52,7 → 52,6 |
# |
CONFIG_PAGE_PT = y |
DEFS += -DCONFIG_PAGE_PT |
ARCH_SOURCES = \ |
arch/$(ARCH)/src/console.c \ |
/kernel/trunk/arch/amd64/Makefile.inc |
---|
62,7 → 62,6 |
# |
CONFIG_PAGE_PT = y |
DEFS += -DCONFIG_PAGE_PT |
## Compile with i8042 support. |
# |
/kernel/trunk/arch/mips32/Makefile.inc |
---|
52,7 → 52,6 |
# |
CONFIG_PAGE_PT = y |
DEFS += -DCONFIG_PAGE_PT |
## Compile with support for address space identifiers. |
# |
/kernel/trunk/arch/ia32/Makefile.inc |
---|
81,7 → 81,6 |
# |
CONFIG_PAGE_PT = y |
DEFS += -DCONFIG_PAGE_PT |
## Compile with i8042 controller support |
# |