# Cygwin 'kernel' options

config KERNEL
    string
    default "cygwin"