1da177e4c3
Initial git repository build. I'm not bothering with the full history, even though we have it. We can create a separate "historical" git archive of that later if we want to, and in the meantime it's about 3.2GB when imported into git - space that would just make the early git days unnecessarily complicated, when we don't have a lot of good infrastructure for it. Let it rip!
15 lines
185 B
Text
15 lines
185 B
Text
config 64_BIT
|
|
bool
|
|
default y
|
|
|
|
config 3_LEVEL_PGTABLES
|
|
bool
|
|
default y
|
|
|
|
config ARCH_HAS_SC_SIGNALS
|
|
bool
|
|
default n
|
|
|
|
config ARCH_REUSE_HOST_VSYSCALL_AREA
|
|
bool
|
|
default n
|