#
# Used by yocto-kernel to manage config options.
#
# yocto-kernel may change the contents of this file in any
# way it sees fit, including removing comments like this,
# so don't manually make any modifications you don't want
# to lose.
#
