config ADK_TARGET_SYSTEM_TADPOLE_ULTRABOOK bool "Tadpole Ultrabook" select ADK_TARGET_CPU_SPARC64_V9 select ADK_TARGET_KERNEL_ZIMAGE select ADK_TARGET_KERNEL_WITH_COMPRESSION help Support for Tadpole Ultrabook.