...
When using menuconfig, the location of a name or token can be searched by using the “/” key:
5.2.4 Building Images
The build system is invoked by executing make targets from the command line in the BSP directory, ex. timesys/pcm052/factory-20130403/. With no targets specified, executing make will build the entire BSP through implementing a set of core Factory targets:
...
make u-boot u-boot u-boot-check u-boot-configure u-boot-fetch u-boot-package u-boot-reconfigure u-boot-rfs-install u-boot-build u-boot-clean u-boot-distclean u-boot-host-install u-boot-patch u-boot-restage u-boot-unpack
...
5.3 Managing Images
The SDHC card that comes with the phyCORE Vybrid is pre-loaded with kit demo images. After new images are built they can installed on a SD card and run on the target.
...