Removes tests/prof_test.c
[akaros.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index 93faeae..46805cb 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -67,14 +67,6 @@ endmenu
 
 menu "Memory Management"
 
-config DEMAND_PAGING
-       bool "Demand paging"
-       default n
-       help
-               When turned on, mmap() calls do not immediately populate their pages.
-               This does not turn on any sort of real paging.  Saying 'n' will act
-               like all mmap()s have MAP_POPULATE.
-
 config PAGE_COLORING
        bool "Page coloring"
        default n
@@ -133,6 +125,14 @@ config SEQLOCK_DEBUG
                Provides asserts to detect seqlock errors.  This will allow a malicious
                userspace to trigger a panic in the kernel.
 
+config SEMAPHORE_DEBUG
+       bool "Semaphore debugging"
+       default n
+       help
+               Turns on debugging, which tracks the last time and location that a
+               semaphore was downed, and provides a linked list of all semaphores that
+               have waiters.  This will slow down all semaphore ups and downs.
+
 config RESET_STACKS
        bool "Reset Stacks"
        default y
@@ -164,8 +164,23 @@ config PRINTK_NO_BACKSPACE
                One of the serial devices I was using a while back had issues printing
                backspaces.  This was an old hack to deal with that.
 
+config SYSCALL_STRING_SAVING
+       bool "Syscall string saving"
+       default n
+       help
+               Kmallocs a small buffer for each syscall and attaches it to the
+               kthread, which can be viewed when debugging semaphores.  Individual
+               syscalls can save info in this buffer.
+
 endmenu
 
+config VM
+       bool "Virtual Machine support"
+       default n
+       help
+               VM support -- not working! Based on KVM.
+
+
 menu "Misc/Old Options"
 
 config ARSC_SERVER
@@ -205,3 +220,5 @@ config BSD_ON_CORE0
                This was an old joke.  Say 'n', since we can't simply #include <bsd>.
 
 endmenu
+
+source "kern/src/ktest/Kconfig"