Changes in defaults/amd64/Makefile.config [d42a0bd:4bf0926e] in mainline

File:

• defaults/amd64/Makefile.config (modified) (3 diffs)

defaults/amd64/Makefile.config

@@ -1 +1 @@
 # Platform
 PLATFORM = amd64
+
+# Kernel memory model
+MEMORY_MODEL = kernel
 
 # Ramdisk format
@@ -38 +41 @@
 CONFIG_TEST = y
 
+# Kernel RCU implementation
+RCU = PREEMPT_A
+
 # Input device class
 CONFIG_HID_IN = generic
@@ -59 +65 @@
 CONFIG_BFB_BPP = 16
 
-# Load disk drivers on startup
-CONFIG_START_BD = n
-
-# Mount /data on startup
-CONFIG_MOUNT_DATA = n
-
 # OHCI root hub power switch, ganged is enough
 OHCI_POWER_SWITCH = ganged