CONFIG_SB1XXX_CORELIS is not available for thedefaultarchitecture x86.
Result is shown for architecture mips
Corelis Debugger
configname: CONFIG_SB1XXX_CORELIS
Linux Kernel Configuration
└─>Corelis Debugger
In linux kernel since version 2.6.12
Select compile flags that produce code that can be processed by the
Corelis mksym utility and UDB Emulator.
Corelis mksym utility and UDB Emulator.