gerrit.openbmc.org / stefanberger / openbmc / 00bb208516f31027771f70eade0698e20dc736e4 / poky / scripts / lib / devtool / menuconfig.py