menu "Board Support Options"

source "target/device/generic/Config.in"

endmenu