Re: [xenomai-images][PATCH 1/6] Kconfig: Permit to enable debug mode for Xenomai 4

Hi Jan,

On 6/14/26 11:17, Jan Kiszka wrote:
> From: Jan Kiszka <[email protected]>
> 
> No reason to limit this feature to Xenomai 3 configs. The compat mode,
> though, will remain 3-only.

Care, that nobody enables the EVL_DEBUG_ switches at the moment. So this
might be a bit misleading now.

> Signed-off-by: Jan Kiszka <[email protected]>
> ---
>   Kconfig | 51 ++++++++++++++++++++++++++-------------------------
>   1 file changed, 26 insertions(+), 25 deletions(-)
> 
> diff --git a/Kconfig b/Kconfig
> index 98cbfeb..dc79700 100644
> --- a/Kconfig
> +++ b/Kconfig
> @@ -201,31 +201,6 @@ config KAS_INCLUDE_KERNEL
>   	default "kas/opt/linux-4.19-head.yaml" if KERNEL_4_19_HEAD
>   	default "kas/opt/linux-4.19.yaml" if KERNEL_4_19
>   
> -comment "Features"
> -
> -config DEBUG
> -	bool "Build debug version"
> -	help
> -	  This enables various debug options in the kernel that can help to
> -	  validate the correctness of a particular Xenomai version and kernel
> -	  patch.
> -
> -	  However, these options also significantly degrade the performance and
> -	  maximum latencies, so don't use such a configuration for
> -	  benchmarking!
> -
> -config KAS_INCLUDE_DEBUG
> -	string
> -	default "kas/opt/debug.yaml" if DEBUG
> -
> -config COMPAT
> -	bool "Build 32 bit Xenomai userspace"
> -	depends on (XENOMAI_HEAD || XENOMAI_3_3_HEAD || XENOMAI_3_3) && (ARCH_X86 || ARCH_ARM64)
> -
> -config KAS_INCLUDE_COMPAT
> -	string
> -	default "kas/opt/compat.yaml" if COMPAT
> -
>   endif	# if XENOMAI3
>   
>   if XENOMAI4
> @@ -292,3 +267,29 @@ config KAS_INCLUDE_LIBEVL
>   	default "kas/opt/libevl-latest-release.yaml" if LIBEVL_RELEASE
>   
>   endif	# if XENOMAI4
> +
> +comment "Features"
> +
> +config DEBUG
> +	bool "Build debug version"
> +	help
> +	  This enables various debug options in the kernel that can help to
> +	  validate the correctness of a particular Xenomai version and kernel
> +	  patch.
> +
> +	  However, these options also significantly degrade the performance and
> +	  maximum latencies, so don't use such a configuration for
> +	  benchmarking!
> +
> +config KAS_INCLUDE_DEBUG
> +	string
> +	default "kas/opt/debug.yaml" if DEBUG
> +
> +config COMPAT
> +	bool "Build 32 bit Xenomai userspace"
> +	depends on XENOMAI3
> +	depends on (XENOMAI_HEAD || XENOMAI_3_3_HEAD || XENOMAI_3_3) && (ARCH_X86 || ARCH_ARM64)
> +
> +config KAS_INCLUDE_COMPAT
> +	string
> +	default "kas/opt/compat.yaml" if COMPAT