Fix the remaining /dev/ -> /dev_vfs/
[akaros.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index 605b873..5844844 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -11,9 +11,9 @@ config SRCARCH
 
 config 64BIT
        bool "64-bit kernel"
 
 config 64BIT
        bool "64-bit kernel"
-       default n
+       default y
        help
        help
-               Say yes to build a 64-bit kernel, amd64 / x86_64, riscv64, etc.
+               Say yes to build a 64-bit kernel.  Must be 'y' for x86.
 
 menuconfig RUN_INIT_SCRIPT
        bool "Run init script after boot"
 
 menuconfig RUN_INIT_SCRIPT
        bool "Run init script after boot"
@@ -79,6 +79,22 @@ config EXT2_BDEV
 
 endmenu
 
 
 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
 menu "Memory Management"
 
 config PAGE_COLORING
@@ -123,6 +139,12 @@ config TRACE_LOCKS
 
 endmenu
 
 
 endmenu
 
+config DEVELOPMENT_ASSERTIONS
+       bool "dasserts"
+       default n
+       help
+               Turn on dassert() in code, dassert will compile to assert().
+
 config SPINLOCK_DEBUG
        bool "Spinlock debugging"
        default n
 config SPINLOCK_DEBUG
        bool "Spinlock debugging"
        default n
@@ -162,22 +184,6 @@ config SEM_SPINWAIT_NR_LOOPS
        help
                How many times to poll a busy semaphore before going to sleep.
 
        help
                How many times to poll a busy semaphore before going to sleep.
 
-config SEM_TRACE_BLOCKERS
-       bool "Semaphore Blocker Tracing"
-       default n
-       help
-               Drops a TRACEME whenever a semaphore would block (barring slight
-               races).  To access the trace data, you'll need to use the opcontrols
-               and process the data with op2.
-
-config RESET_STACKS
-       bool "Reset Stacks"
-       default y
-       help
-               When idling, the kernel will reset the stack of its kernel thread to
-               the top of the stack, abandoning its context.  This is useful so we do
-               not run off the end of our stacks, but makes backtracing difficult.
-
 config LARGE_KSTACKS
        bool "Large (two-page) Kernel Stacks"
        default y
 config LARGE_KSTACKS
        bool "Large (two-page) Kernel Stacks"
        default y
@@ -230,39 +236,15 @@ config BLOCK_EXTRAS
                implementation.  Say y.  If you have networking bugs, try turning this
                off, and if that helps, tell someone.
 
                implementation.  Say y.  If you have networking bugs, try turning this
                off, and if that helps, tell someone.
 
-endmenu
-
-config VM
-       bool "Virtual Machine support"
-       default n
-       help
-               VM support -- not working! Based on KVM.
-
-menuconfig NIX
-       bool "NIX support"
+config BETTER_BACKTRACE
+       bool "Better backtraces, less optimizations"
        default n
        help
        default n
        help
-               NIX support -- Sort of working. You can start kernels that don't enable
-               interrupts.
+               The kernel uses the frame pointer and call stacks for backtraces.
+               Tail-call optimizations remove some of this information.  Say 'Y' here
+               to have better backtraces, at the expense of performance.
 
 
-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
+endmenu
 
 menu "Misc/Old Options"
 
 
 menu "Misc/Old Options"
 
@@ -304,4 +286,6 @@ config BSD_ON_CORE0
 
 endmenu
 
 
 endmenu
 
+source "kern/lib/Kconfig"
+
 source "kern/src/ktest/Kconfig"
 source "kern/src/ktest/Kconfig"