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