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

On 15.06.26 07:08, Tobias Schaffner wrote:
> 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.

Happy to take patches (against evl.cfg). But this patch is already
required to get the kernel's own debug features such as lockdep or even
ftrace.

Jan

> 
>> 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
> 

-- 
Siemens AG, Foundational Technologies
Linux Expert Center