kernelconfig_penguin
CONFIG_ARCH_SHARK is not available for the default architecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_ARCH_SHARK.
Result is shown for kernelversion 3.9.9

Shark

configname: CONFIG_ARCH_SHARK

ARM system type
└─> Shark

Support for the StrongARM based Digital DNARD machine, also known
as "Shark" (<http://www.shark-linux.de/shark.html>).