update

[l4.git] / kernel / fiasco / src / Kconfig

diff --git a/kernel/fiasco/src/Kconfig b/kernel/fiasco/src/Kconfig
index 4510c52cfc634cc6b72bc3c59b88fb8027dc0e8f..e6276383e24b16acaead9369e094e85ef6611802 100644 (file)
--- a/kernel/fiasco/src/Kconfig
+++ b/kernel/fiasco/src/Kconfig
@@ -366,14 +366,6 @@ endmenu # target
 
 menu "Kernel options"
 
-config HANDLE_SEGMENTS
-       bool "Handle and preserve segments"
-       depends on (PF_PC || PF_UX) && !AMD64
-       help
-         This function preserves the values of segment registers across
-         thread and task switches and allows to configure segments for user
-         programs.
-
 config MP
        bool "Enable multi processor support"
        depends on EXPERIMENTAL && (PF_PC || PF_UX || PF_ARM_MP_CAPABLE)