# # platforms/Kconfig: main menu structure for platform configuration # mainmenu "PTXdist $PLATFORMCONFIG_VERSION" source "generated/platform_version.in"