2 CONFIG_ARCH_SNAPDRAGON=y
3 CONFIG_TARGET_TXSD_410E=y
4 CONFIG_IDENT_STRING="\nKa-Ro electronics TXSD-410E"
5 CONFIG_DEFAULT_DEVICE_TREE="txsd-410e"
9 CONFIG_VERSION_VARIABLE=y
10 CONFIG_SYS_PROMPT="TXSD U-Boot > "
13 CONFIG_CMD_CPU=y # overridden by CONFIG_MP
29 CONFIG_CMD_EXT4_WRITE=y
31 CONFIG_CMD_FS_GENERIC=y
32 # CONFIG_CMD_CRC32 is not set
33 # CONFIG_CMD_FLASH is not set
34 # CONFIG_CMD_FPGA is not set
35 # CONFIG_CMD_IMI is not set
36 # CONFIG_CMD_IMLS is not set
37 # CONFIG_CMD_XIMG is not set
39 CONFIG_DEBUG_TIMER_WRAP=y
40 CONFIG_DEBUG_TIMER_WRAP_SECONDS=60
41 # CONFIG_EFI_LOADER is not set
54 CONFIG_OF_BOARD_SETUP=y
59 # CONFIG_REQUIRE_SERIAL_CONSOLE is not set
66 # CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set
71 CONFIG_USB_ULPI_VIEWPORT=y
74 CONFIG_CONSOLE_ROTATION=y
76 # CONFIG_REGEX is not set