gerrit.openbmc.org / openbmc / owners-plugin-test / d85f9936db6707c38e2b29338f534ed25f08073d / poky / scripts / lib / devtool / menuconfig.py