Module: xenomai-forge
Branch: master
Commit: cc7a744cbaa7fe3dbf09e9e6f183b525db9268c4
URL:    
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=cc7a744cbaa7fe3dbf09e9e6f183b525db9268c4

Author: Philippe Gerum <r...@xenomai.org>
Date:   Fri Dec  9 18:33:55 2011 +0100

cobalt: remove SHM-related left over

---

 doc/doxygen/Doxyfile-common.in      |    1 -
 kernel/cobalt/Kconfig               |   16 ----------------
 kernel/cobalt/Makefile              |    2 --
 kernel/cobalt/arch/arm/Kconfig      |    1 -
 kernel/cobalt/arch/blackfin/Kconfig |    1 -
 kernel/cobalt/arch/nios2/Kconfig    |    1 -
 kernel/cobalt/arch/powerpc/Kconfig  |    1 -
 kernel/cobalt/arch/sh/Kconfig       |    1 -
 kernel/cobalt/arch/x86/Kconfig      |    1 -
 9 files changed, 0 insertions(+), 25 deletions(-)

diff --git a/doc/doxygen/Doxyfile-common.in b/doc/doxygen/Doxyfile-common.in
index e409703..86b2468 100644
--- a/doc/doxygen/Doxyfile-common.in
+++ b/doc/doxygen/Doxyfile-common.in
@@ -686,7 +686,6 @@ PREDEFINED             = DOXYGEN_CPP \
         CONFIG_XENO_OPT_NATIVE_HEAP \
         CONFIG_XENO_OPT_NATIVE_ALARM \
         CONFIG_XENO_OPT_NATIVE_INTR \
-        CONFIG_XENO_OPT_POSIX_SHM \
         CONFIG_XENO_OPT_POSIX_INTR \
         CONFIG_XENO_OPT_RTAI_FIFO \
         CONFIG_XENO_OPT_RTAI_SEM \
diff --git a/kernel/cobalt/Kconfig b/kernel/cobalt/Kconfig
deleted file mode 100644
index 60af9d1..0000000
--- a/kernel/cobalt/Kconfig
+++ /dev/null
@@ -1,16 +0,0 @@
-
-menu "POSIX features"
-
-config XENO_OPT_POSIX_SHM
-       bool "Shared memory"
-       help
-
-       POSIX skin shared memory areas are regions of memory which can be shared
-       between kernel-space and user-space, or used to share synchronization
-       objects between kernel-space and user-space.
-
-       If you do not intend to use Xenomai POSIX skin in kernel-space (and
-       using the RTDM skin is the preferred way of implementing drivers), leave
-       this option unselected.
-
-endmenu
diff --git a/kernel/cobalt/Makefile b/kernel/cobalt/Makefile
index 9eda880..f4bc809 100644
--- a/kernel/cobalt/Makefile
+++ b/kernel/cobalt/Makefile
@@ -17,6 +17,4 @@ xeno_cobalt-y := \
        syscall.o \
        monitor.o
 
-xeno_cobalt-$(CONFIG_XENO_OPT_POSIX_SHM) += shm.o
-
 ccflags-y := -D__IN_XENOMAI__ -Iinclude/xenomai/cobalt -Iinclude/xenomai
diff --git a/kernel/cobalt/arch/arm/Kconfig b/kernel/cobalt/arch/arm/Kconfig
index beb3d93..8c13de8 100644
--- a/kernel/cobalt/arch/arm/Kconfig
+++ b/kernel/cobalt/arch/arm/Kconfig
@@ -39,5 +39,4 @@ config XENO_HW_UNLOCKED_SWITCH
 endmenu
 
 source "kernel/xenomai/nucleus/Kconfig"
-source "kernel/xenomai/Kconfig"
 source "drivers/xenomai/Kconfig"
diff --git a/kernel/cobalt/arch/blackfin/Kconfig 
b/kernel/cobalt/arch/blackfin/Kconfig
index 4ceaba4..7fcaf62 100644
--- a/kernel/cobalt/arch/blackfin/Kconfig
+++ b/kernel/cobalt/arch/blackfin/Kconfig
@@ -3,5 +3,4 @@ config XENO_GENERIC_STACKPOOL
        default y
 
 source "kernel/xenomai/nucleus/Kconfig"
-source "kernel/xenomai/Kconfig"
 source "drivers/xenomai/Kconfig"
diff --git a/kernel/cobalt/arch/nios2/Kconfig b/kernel/cobalt/arch/nios2/Kconfig
index 4ceaba4..7fcaf62 100644
--- a/kernel/cobalt/arch/nios2/Kconfig
+++ b/kernel/cobalt/arch/nios2/Kconfig
@@ -3,5 +3,4 @@ config XENO_GENERIC_STACKPOOL
        default y
 
 source "kernel/xenomai/nucleus/Kconfig"
-source "kernel/xenomai/Kconfig"
 source "drivers/xenomai/Kconfig"
diff --git a/kernel/cobalt/arch/powerpc/Kconfig 
b/kernel/cobalt/arch/powerpc/Kconfig
index 7777037..0265f52 100644
--- a/kernel/cobalt/arch/powerpc/Kconfig
+++ b/kernel/cobalt/arch/powerpc/Kconfig
@@ -43,5 +43,4 @@ config XENO_HW_UNLOCKED_SWITCH
 endmenu
 
 source "kernel/xenomai/nucleus/Kconfig"
-source "kernel/xenomai/Kconfig"
 source "drivers/xenomai/Kconfig"
diff --git a/kernel/cobalt/arch/sh/Kconfig b/kernel/cobalt/arch/sh/Kconfig
index cba4236..e5ce70f 100644
--- a/kernel/cobalt/arch/sh/Kconfig
+++ b/kernel/cobalt/arch/sh/Kconfig
@@ -25,5 +25,4 @@ config XENO_HW_FPU
 endmenu
 
 source "kernel/xenomai/nucleus/Kconfig"
-source "kernel/xenomai/Kconfig"
 source "drivers/xenomai/Kconfig"
diff --git a/kernel/cobalt/arch/x86/Kconfig b/kernel/cobalt/arch/x86/Kconfig
index 9f057c6..7eceef7 100644
--- a/kernel/cobalt/arch/x86/Kconfig
+++ b/kernel/cobalt/arch/x86/Kconfig
@@ -156,5 +156,4 @@ endmenu
 endmenu
 
 source "kernel/xenomai/nucleus/Kconfig"
-source "kernel/xenomai/Kconfig"
 source "drivers/xenomai/Kconfig"


_______________________________________________
Xenomai-git mailing list
Xenomai-git@gna.org
https://mail.gna.org/listinfo/xenomai-git

Reply via email to