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