The DT78xx Linux kernel image board-support/linux-3.12.10-ti2013.12.01/arch/arm/boot/zImage depends on the configuration file board-support/linux-3.12.10-ti2013.12.01/arch/arm/configs/dt78xx_defconfig, which has definitions for countless configuration options in the Linux kernel.
Refer to your Linux documentation for information on how to configure the Linux kernel.
To configure the Linux kernel using text with colored menus and radiolists, ensure that ncurses is installed on the development host computer.
If the TI SDK is installed in the directory opt/ti-sdk-am335x-evm-07.00.00.00, use the following commands to display a menu based UI to configure the DT78xx Linux kernel:
# cd /opt/ti-sdk-am335x-evm-07.00.00.00/board-support/linux-3.12.10-ti2013.12.01
# make menuconfig ARCH=arm KCONFIG_CONFIG=./arch/arm/configs/dt78xx_defconfig
If the file dt78xx_defconfig is changed, rebuild the Linux kernel image.