kernelconfig_penguin
CONFIG_SB1XXX_CORELIS is not available for the default architecture x86.
Result is shown for architecture mips

Corelis Debugger

configname: CONFIG_SB1XXX_CORELIS

Linux Kernel Configuration
└─> Kernel hacking
└─> Corelis Debugger

Select compile flags that produce code that can be processed by the
Corelis mksym utility and UDB Emulator.