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