diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2011-09-17 22:22:56 +0200 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2011-09-18 23:00:07 +0200 |
| commit | 4b78a5008995d459399a38692d436eceb7c2278d (patch) | |
| tree | 692ded35210a88c68eab728be1fba373ce61d699 /package/xenomai/Config.in | |
| parent | 60d48220525f154ee43b2fbe3137a393ebacd4a4 (diff) | |
| download | buildroot-novena-4b78a5008995d459399a38692d436eceb7c2278d.tar.gz buildroot-novena-4b78a5008995d459399a38692d436eceb7c2278d.zip | |
xenomai: add support to keep or remove skins
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'package/xenomai/Config.in')
| -rw-r--r-- | package/xenomai/Config.in | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/package/xenomai/Config.in b/package/xenomai/Config.in index 3749a6048..cfeaa0428 100644 --- a/package/xenomai/Config.in +++ b/package/xenomai/Config.in @@ -119,4 +119,41 @@ config BR2_PACKAGE_XENOMAI_ANALOGY This option allows to install the Xenomai Analogy utilities and libraries +config BR2_PACKAGE_XENOMAI_NATIVE_SKIN + bool "Native skin library" + default y + help + This option allows to install the Native Xenomai skin + +config BR2_PACKAGE_XENOMAI_POSIX_SKIN + bool "POSIX skin library" + default y + help + This option allows to install the POSIX Xenomai skin + +config BR2_PACKAGE_XENOMAI_VXWORKS_SKIN + bool "VX-Works skin library" + help + This option allows to install the VX-Works Xenomai skin + +config BR2_PACKAGE_XENOMAI_PSOS_SKIN + bool "PSOS skin library" + help + This option allows to install the PSOS Xenomai skin + +config BR2_PACKAGE_XENOMAI_RTAI_SKIN + bool "RTAI skin library" + help + This option allows to install the RTAI Xenomai skin + +config BR2_PACKAGE_XENOMAI_UITRON_SKIN + bool "uiTron skin library" + help + This option allows to install the uiTron Xenomai skin + +config BR2_PACKAGE_XENOMAI_VRTX_SKIN + bool "VRTX skin library" + help + This option allows to install the VRTX Xenomai skin + endif |