Changes in HelenOS.config [d06c4ae:d4d36f9] in mainline

File:

• HelenOS.config (modified) (3 diffs)

HelenOS.config

@@ -89 +89 @@
 @ "tmpfs" TMPFS image
 @ "fat" FAT16 image
-@ "ext4fs" ext4 image
+@ "ext2fs" EXT2 image
 ! RDFMT (choice)
 
@@ -384 +384 @@
 % Use link-time optimization
 ! [COMPILER=gcc_cross|COMPILER=gcc_native] CONFIG_LTO (n/y)
+
+% Kernel RCU algorithm
+@ "PREEMPT_PODZIMEK" Preemptible Podzimek-RCU
+@ "PREEMPT_A" Preemptible A-RCU
+! RCU (choice)
 
 
@@ -589 +594 @@
 @ "ganged" Root hub ports are all powered or all off.
 @ "per_port" Powered status of every root hub port is independent.
-! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ppc32] OHCI_POWER_SWITCH (choice)
+! [PLATFORM=ia32|PLATFORM=amd64] OHCI_POWER_SWITCH (choice)
 
 % GRUB boot loader architecture