mainmenu "Zinnia Kernel Configuration"

source "dev/Kconfig"

config KERNEL_FLAVOR
  string "Kernel flavor name"
  default "vanilla"
