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