Module: xenomai-forge Branch: master Commit: cc7a744cbaa7fe3dbf09e9e6f183b525db9268c4 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=cc7a744cbaa7fe3dbf09e9e6f183b525db9268c4
Author: Philippe Gerum <[email protected]> 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 [email protected] https://mail.gna.org/listinfo/xenomai-git
