user/vmm: fflush stdout on every write
[akaros.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index d4a17c7..5844844 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -184,22 +184,6 @@ config SEM_SPINWAIT_NR_LOOPS
        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
@@ -252,39 +236,15 @@ config BLOCK_EXTRAS
                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"
+config BETTER_BACKTRACE
+       bool "Better backtraces, less optimizations"
        default n
        help
-               VM support -- not working! Based on KVM.
+               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.
 
-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
+endmenu
 
 menu "Misc/Old Options"