yann@1: # Cygwin 'kernel' options
yann@1: 
yann@1: config KERNEL
yann@1:     string
yann@1:     default "cygwin"