Hi,

I'm sure now that the native registry is mandatory as soon as
CONFIG_XENO_OPT_PERVASIVE is selected. This patch enforces the selection
in such a scenario.

Jan
Index: ksrc/skins/native/Kconfig
===================================================================
--- ksrc/skins/native/Kconfig   (revision 564)
+++ ksrc/skins/native/Kconfig   (working copy)
@@ -9,7 +9,8 @@
 if XENO_SKIN_NATIVE != n
 
 config XENO_OPT_NATIVE_REGISTRY
-       bool "Registry support"
+       bool
+       prompt "Registry support" if !XENO_OPT_PERVASIVE
        default y
        help
        
Index: ksrc/skins/native/Config.in
===================================================================
--- ksrc/skins/native/Config.in (revision 564)
+++ ksrc/skins/native/Config.in (working copy)
@@ -7,8 +7,14 @@
 if [ "$CONFIG_XENO_SKIN_NATIVE" != "n" ]; then
        mainmenu_option next_comment
        comment 'Native interface options'
-       bool 'Registry support' CONFIG_XENO_OPT_NATIVE_REGISTRY
-       int 'Number of registry slots' CONFIG_XENO_OPT_NATIVE_REGISTRY_NRSLOTS 
512
+       if [ "$CONFIG_XENO_OPT_PERVASIVE" != "n" ]; then
+               define_bool CONFIG_XENO_OPT_NATIVE_REGISTRY y
+       else
+               bool 'Registry support' CONFIG_XENO_OPT_NATIVE_REGISTRY
+       fi
+       if [ "$CONFIG_XENO_OPT_NATIVE_REGISTRY" != "n" ]; then
+               int 'Number of registry slots' 
CONFIG_XENO_OPT_NATIVE_REGISTRY_NRSLOTS 512
+       fi
        dep_bool 'Message pipes' CONFIG_XENO_OPT_NATIVE_PIPE 
$CONFIG_XENO_OPT_PIPE
        if [ "$CONFIG_XENO_OPT_NATIVE_PIPE" != "n" ]; then
                int 'Bytes in buffer space' CONFIG_XENO_OPT_NATIVE_PIPE_BUFSZ 
4096

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to