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