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