perf: Remove unused parts of symbol-elf.c
[akaros.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index b9c1310..215e6db 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -79,6 +79,22 @@ config EXT2_BDEV
 
 endmenu
 
+choice COREALLOC_POLICY
+       prompt "Core Allocation Policy"
+       help
+               Select a policy for allocating cores to a process upon request.  All
+               strategies first allocate cores from the set of provisioned cores for a
+               process, but differ in how they select cores beyond this.
+
+config COREALLOC_FCFS
+       bool "Simple FCFS"
+       help
+               Allocate cores to processes on a first-come-first-served basis. All
+               cores are treated equally, and no topology information is used to try
+               and optimize which cores are given to which processes upon request.
+
+endchoice
+
 menu "Memory Management"
 
 config PAGE_COLORING
@@ -238,38 +254,6 @@ config BLOCK_EXTRAS
 
 endmenu
 
-config VM
-       bool "Virtual Machine support"
-       default n
-       help
-               VM support -- not working! Based on KVM.
-
-menuconfig NIX
-       bool "NIX support"
-       default n
-       help
-               NIX support -- Sort of working. You can start kernels that don't enable
-               interrupts.
-
-if NIX
-
-config NIX_IMG_PADDR
-       hex "Physical address for the NIX image"
-       depends on NIX
-       default 0x40000000
-       help
-               Physical address that the NIX device will allocate during
-               initialization.
-
-config NIX_IMG_SIZE
-       hex "Size of the NIX image"
-       depends on NIX
-       default 0x40000000
-       help
-               Size in bytes of the NIX image.  Must be a power of two.
-
-endif # NIX
-
 menu "Misc/Old Options"
 
 config ARSC_SERVER