1CONFIG_ARM=y
2CONFIG_SYS_ARCH="arm"
3CONFIG_SYS_CPU="armv7"
4CONFIG_SYS_SOC="aspeed"
5CONFIG_SYS_VENDOR="aspeed"
6CONFIG_SYS_BOARD="evb_ast2600"
7CONFIG_SYS_CONFIG_NAME="evb_ast2600"
8
9#
10# ARM architecture
11#
12CONFIG_HAS_VBAR=y
13CONFIG_HAS_THUMB2=y
14CONFIG_ARM_ASM_UNIFIED=y
15CONFIG_SYS_ARM_CACHE_CP15=y
16CONFIG_SYS_ARM_MMU=y
17# CONFIG_SYS_ARM_MPU is not set
18CONFIG_CPU_V7A=y
19CONFIG_SYS_ARM_ARCH=7
20CONFIG_SYS_CACHE_SHIFT_6=y
21CONFIG_SYS_CACHELINE_SIZE=64
22CONFIG_SYS_ARCH_TIMER=y
23# CONFIG_ARM_SMCCC is not set
24# CONFIG_SEMIHOSTING is not set
25# CONFIG_SYS_THUMB_BUILD is not set
26# CONFIG_SPL_SYS_THUMB_BUILD is not set
27# CONFIG_SYS_L2CACHE_OFF is not set
28# CONFIG_ENABLE_ARM_SOC_BOOT0_HOOK is not set
29CONFIG_USE_ARCH_MEMCPY=y
30CONFIG_SPL_USE_ARCH_MEMCPY=y
31CONFIG_USE_ARCH_MEMSET=y
32CONFIG_SPL_USE_ARCH_MEMSET=y
33CONFIG_ARCH_ASPEED=y
34CONFIG_SYS_TEXT_BASE=0x0
35# CONFIG_ASPEED_AST2500 is not set
36CONFIG_ASPEED_AST2600=y
37CONFIG_TARGET_EVB_AST2600=y
38CONFIG_SYS_MALLOC_F_LEN=0x2000
39# CONFIG_TFABOOT is not set
40CONFIG_SPL_SYS_MALLOC_F_LEN=0x2000
41CONFIG_IDENT_STRING=""
42CONFIG_CPU_V7_HAS_NONSEC=y
43CONFIG_ARCH_SUPPORT_PSCI=y
44CONFIG_ARMV7_NONSEC=y
45# CONFIG_ARMV7_BOOT_SEC_DEFAULT is not set
46CONFIG_ARMV7_PSCI=y
47CONFIG_ARMV7_PSCI_NR_CPUS=4
48# CONFIG_ARMV7_LPAE is not set
49# CONFIG_CMD_DEKBLOB is not set
50# CONFIG_CMD_HDMIDETECT is not set
51
52#
53# General setup
54#
55CONFIG_LOCALVERSION=""
56CONFIG_LOCALVERSION_AUTO=y
57CONFIG_CC_OPTIMIZE_FOR_SIZE=y
58# CONFIG_DISTRO_DEFAULTS is not set
59# CONFIG_ENV_VARS_UBOOT_CONFIG is not set
60CONFIG_NR_DRAM_BANKS=1
61# CONFIG_SYS_BOOT_GET_CMDLINE is not set
62# CONFIG_SYS_BOOT_GET_KBD is not set
63CONFIG_SYS_MALLOC_F=y
64CONFIG_TPL_SYS_MALLOC_F_LEN=0x2000
65CONFIG_EXPERT=y
66CONFIG_SYS_MALLOC_CLEAR_ON_INIT=y
67# CONFIG_TOOLS_DEBUG is not set
68# CONFIG_PHYS_64BIT is not set
69CONFIG_BUILD_TARGET=""
70
71#
72# Boot images
73#
74# CONFIG_ANDROID_BOOT_IMAGE is not set
75# CONFIG_FIT is not set
76CONFIG_IMAGE_FORMAT_LEGACY=y
77# CONFIG_OF_BOARD_SETUP is not set
78# CONFIG_OF_SYSTEM_SETUP is not set
79# CONFIG_OF_STDOUT_VIA_ALIAS is not set
80CONFIG_SYS_EXTRA_OPTIONS=""
81CONFIG_ARCH_FIXUP_FDT_MEMORY=y
82
83#
84# API
85#
86# CONFIG_API is not set
87
88#
89# Boot timing
90#
91# CONFIG_BOOTSTAGE is not set
92CONFIG_BOOTSTAGE_RECORD_COUNT=30
93CONFIG_SPL_BOOTSTAGE_RECORD_COUNT=5
94CONFIG_BOOTSTAGE_STASH_ADDR=0
95CONFIG_BOOTSTAGE_STASH_SIZE=0x1000
96
97#
98# Boot media
99#
100# CONFIG_NAND_BOOT is not set
101# CONFIG_ONENAND_BOOT is not set
102# CONFIG_QSPI_BOOT is not set
103# CONFIG_SATA_BOOT is not set
104# CONFIG_SD_BOOT is not set
105# CONFIG_SPI_BOOT is not set
106CONFIG_BOOTDELAY=2
107CONFIG_USE_BOOTARGS=y
108CONFIG_BOOTARGS="console=ttyS4,115200n8 root=/dev/ram rw"
109# CONFIG_USE_BOOTCOMMAND is not set
110# CONFIG_USE_PREBOOT is not set
111
112#
113# Console
114#
115# CONFIG_CONSOLE_RECORD is not set
116# CONFIG_DISABLE_CONSOLE is not set
117CONFIG_LOGLEVEL=4
118CONFIG_SPL_LOGLEVEL=4
119CONFIG_TPL_LOGLEVEL=4
120# CONFIG_SILENT_CONSOLE is not set
121CONFIG_PRE_CONSOLE_BUFFER=y
122CONFIG_PRE_CON_BUF_SZ=4096
123CONFIG_PRE_CON_BUF_ADDR=0x10000000
124# CONFIG_CONSOLE_MUX is not set
125# CONFIG_SYS_CONSOLE_IS_IN_ENV is not set
126# CONFIG_SYS_CONSOLE_OVERWRITE_ROUTINE is not set
127# CONFIG_SYS_CONSOLE_ENV_OVERWRITE is not set
128# CONFIG_SYS_CONSOLE_INFO_QUIET is not set
129# CONFIG_SYS_STDIO_DEREGISTER is not set
130
131#
132# Logging
133#
134# CONFIG_LOG is not set
135CONFIG_LOG_DEFAULT_LEVEL=6
136# CONFIG_SUPPORT_RAW_INITRD is not set
137CONFIG_DEFAULT_FDT_FILE=""
138# CONFIG_MISC_INIT_R is not set
139# CONFIG_VERSION_VARIABLE is not set
140# CONFIG_BOARD_LATE_INIT is not set
141# CONFIG_DISPLAY_CPUINFO is not set
142CONFIG_DISPLAY_BOARDINFO=y
143CONFIG_DISPLAY_BOARDINFO_LATE=y
144# CONFIG_BOUNCE_BUFFER is not set
145# CONFIG_BOARD_TYPES is not set
146
147#
148# Start-up hooks
149#
150# CONFIG_ARCH_EARLY_INIT_R is not set
151# CONFIG_ARCH_MISC_INIT is not set
152# CONFIG_BOARD_EARLY_INIT_F is not set
153# CONFIG_BOARD_EARLY_INIT_R is not set
154# CONFIG_LAST_STAGE_INIT is not set
155
156#
157# Security support
158#
159CONFIG_HASH=y
160
161#
162# Update support
163#
164
165#
166# Blob list
167#
168# CONFIG_BLOBLIST is not set
169
170#
171# SPL / TPL
172#
173
174#
175# Command line interface
176#
177CONFIG_CMDLINE=y
178# CONFIG_HUSH_PARSER is not set
179CONFIG_CMDLINE_EDITING=y
180# CONFIG_AUTO_COMPLETE is not set
181CONFIG_SYS_LONGHELP=y
182CONFIG_SYS_PROMPT="=> "
183
184#
185# Autoboot options
186#
187CONFIG_AUTOBOOT=y
188# CONFIG_AUTOBOOT_KEYED is not set
189
190#
191# Commands
192#
193
194#
195# Info commands
196#
197CONFIG_CMD_BDI=y
198# CONFIG_CMD_CONFIG is not set
199CONFIG_CMD_CONSOLE=y
200# CONFIG_CMD_CPU is not set
201# CONFIG_CMD_LICENSE is not set
202
203#
204# Boot commands
205#
206CONFIG_CMD_BOOTD=y
207CONFIG_CMD_BOOTM=y
208# CONFIG_CMD_BOOTZ is not set
209CONFIG_CMD_BOOTEFI=y
210CONFIG_CMD_BOOTEFI_HELLO_COMPILE=y
211# CONFIG_CMD_BOOTEFI_HELLO is not set
212# CONFIG_CMD_BOOTEFI_SELFTEST is not set
213# CONFIG_CMD_BOOTMENU is not set
214# CONFIG_CMD_DTIMG is not set
215CONFIG_CMD_ELF=y
216CONFIG_CMD_FDT=y
217CONFIG_CMD_GO=y
218CONFIG_CMD_RUN=y
219CONFIG_CMD_IMI=y
220# CONFIG_CMD_IMLS is not set
221CONFIG_CMD_XIMG=y
222# CONFIG_CMD_FITUPD is not set
223# CONFIG_CMD_THOR_DOWNLOAD is not set
224# CONFIG_CMD_ZBOOT is not set
225
226#
227# Environment commands
228#
229# CONFIG_CMD_ASKENV is not set
230CONFIG_CMD_EXPORTENV=y
231CONFIG_CMD_IMPORTENV=y
232CONFIG_CMD_EDITENV=y
233# CONFIG_CMD_GREPENV is not set
234CONFIG_CMD_SAVEENV=y
235CONFIG_CMD_ENV_EXISTS=y
236# CONFIG_CMD_ENV_CALLBACK is not set
237# CONFIG_CMD_ENV_FLAGS is not set
238CONFIG_CMD_NVEDIT_EFI=y
239
240#
241# Memory commands
242#
243# CONFIG_CMD_BINOP is not set
244CONFIG_CMD_CRC32=y
245# CONFIG_CRC32_VERIFY is not set
246# CONFIG_CMD_EEPROM is not set
247# CONFIG_LOOPW is not set
248# CONFIG_CMD_MD5SUM is not set
249# CONFIG_CMD_MEMINFO is not set
250CONFIG_CMD_MEMORY=y
251# CONFIG_CMD_MEMTEST is not set
252# CONFIG_CMD_MX_CYCLIC is not set
253# CONFIG_CMD_SHA1SUM is not set
254# CONFIG_CMD_STRINGS is not set
255
256#
257# Compression commands
258#
259# CONFIG_CMD_LZMADEC is not set
260# CONFIG_CMD_UNZIP is not set
261# CONFIG_CMD_ZIP is not set
262
263#
264# Device access commands
265#
266# CONFIG_CMD_ARMFLASH is not set
267# CONFIG_CMD_ADC is not set
268# CONFIG_CMD_BIND is not set
269# CONFIG_CMD_CLK is not set
270# CONFIG_CMD_DEMO is not set
271# CONFIG_CMD_DFU is not set
272CONFIG_CMD_DM=y
273# CONFIG_CMD_FDC is not set
274CONFIG_CMD_FLASH=y
275# CONFIG_CMD_FPGAD is not set
276# CONFIG_CMD_FUSE is not set
277# CONFIG_CMD_GPIO is not set
278# CONFIG_CMD_GPT is not set
279# CONFIG_RANDOM_UUID is not set
280# CONFIG_CMD_IDE is not set
281# CONFIG_CMD_IO is not set
282# CONFIG_CMD_IOTRACE is not set
283# CONFIG_CMD_I2C is not set
284CONFIG_CMD_LOADB=y
285CONFIG_CMD_LOADS=y
286# CONFIG_CMD_MMC is not set
287# CONFIG_CMD_MTD is not set
288# CONFIG_CMD_NAND is not set
289# CONFIG_CMD_MMC_SPI is not set
290# CONFIG_CMD_ONENAND is not set
291# CONFIG_CMD_OSD is not set
292# CONFIG_CMD_PART is not set
293# CONFIG_CMD_PCI is not set
294# CONFIG_CMD_PCMCIA is not set
295CONFIG_CMD_PINMUX=y
296# CONFIG_CMD_POWEROFF is not set
297# CONFIG_CMD_READ is not set
298# CONFIG_CMD_SATA is not set
299# CONFIG_CMD_SAVES is not set
300# CONFIG_CMD_SCSI is not set
301# CONFIG_CMD_SDRAM is not set
302# CONFIG_CMD_SF is not set
303# CONFIG_CMD_SF_TEST is not set
304# CONFIG_CMD_SPI is not set
305# CONFIG_CMD_TSI148 is not set
306# CONFIG_CMD_UNIVERSE is not set
307# CONFIG_CMD_USB is not set
308# CONFIG_CMD_USB_SDP is not set
309# CONFIG_CMD_USB_MASS_STORAGE is not set
310
311#
312# Shell scripting commands
313#
314CONFIG_CMD_ECHO=y
315CONFIG_CMD_ITEST=y
316CONFIG_CMD_SOURCE=y
317CONFIG_CMD_SETEXPR=y
318CONFIG_CMD_NET=y
319CONFIG_CMD_BOOTP=y
320CONFIG_CMD_DHCP=y
321CONFIG_BOOTP_BOOTPATH=y
322CONFIG_BOOTP_DNS=y
323# CONFIG_BOOTP_DNS2 is not set
324CONFIG_BOOTP_GATEWAY=y
325CONFIG_BOOTP_HOSTNAME=y
326# CONFIG_BOOTP_PREFER_SERVERIP is not set
327CONFIG_BOOTP_SUBNETMASK=y
328# CONFIG_BOOTP_NTPSERVER is not set
329CONFIG_BOOTP_VCI_STRING="U-Boot.armv7"
330CONFIG_CMD_TFTPBOOT=y
331# CONFIG_CMD_TFTPPUT is not set
332# CONFIG_CMD_TFTPSRV is not set
333CONFIG_NET_TFTP_VARS=y
334# CONFIG_CMD_RARP is not set
335CONFIG_CMD_NFS=y
336CONFIG_CMD_MII=y
337CONFIG_CMD_PING=y
338# CONFIG_CMD_CDP is not set
339# CONFIG_CMD_SNTP is not set
340# CONFIG_CMD_DNS is not set
341# CONFIG_CMD_LINK_LOCAL is not set
342# CONFIG_CMD_ETHSW is not set
343# CONFIG_CMD_PXE is not set
344# CONFIG_CMD_WOL is not set
345
346#
347# Misc commands
348#
349# CONFIG_CMD_BSP is not set
350# CONFIG_CMD_CACHE is not set
351# CONFIG_CMD_CONITRACE is not set
352# CONFIG_CMD_DISPLAY is not set
353# CONFIG_CMD_EFIDEBUG is not set
354# CONFIG_CMD_DATE is not set
355# CONFIG_CMD_TIME is not set
356# CONFIG_CMD_GETTIME is not set
357CONFIG_CMD_MISC=y
358# CONFIG_MP is not set
359# CONFIG_CMD_TIMER is not set
360# CONFIG_CMD_QFW is not set
361# CONFIG_CMD_TERMINAL is not set
362# CONFIG_CMD_UUID is not set
363
364#
365# TI specific command line interface
366#
367# CONFIG_CMD_DDR3 is not set
368
369#
370# Power commands
371#
372
373#
374# Security commands
375#
376# CONFIG_CMD_AES is not set
377# CONFIG_CMD_BLOB is not set
378# CONFIG_CMD_HASH is not set
379
380#
381# Firmware commands
382#
383
384#
385# Filesystem commands
386#
387# CONFIG_CMD_BTRFS is not set
388# CONFIG_CMD_EXT2 is not set
389# CONFIG_CMD_EXT4 is not set
390# CONFIG_CMD_FAT is not set
391# CONFIG_CMD_FS_GENERIC is not set
392# CONFIG_CMD_FS_UUID is not set
393# CONFIG_CMD_JFFS2 is not set
394# CONFIG_CMD_MTDPARTS is not set
395CONFIG_MTDIDS_DEFAULT=""
396CONFIG_MTDPARTS_DEFAULT=""
397# CONFIG_CMD_REISER is not set
398# CONFIG_CMD_ZFS is not set
399
400#
401# Debug commands
402#
403# CONFIG_CMD_BEDBUG is not set
404# CONFIG_CMD_DIAG is not set
405# CONFIG_CMD_LOG is not set
406# CONFIG_CMD_TRACE is not set
407# CONFIG_CMD_UBI is not set
408
409#
410# Partition Types
411#
412CONFIG_PARTITIONS=y
413# CONFIG_MAC_PARTITION is not set
414# CONFIG_DOS_PARTITION is not set
415# CONFIG_ISO_PARTITION is not set
416# CONFIG_AMIGA_PARTITION is not set
417# CONFIG_EFI_PARTITION is not set
418# CONFIG_PARTITION_UUIDS is not set
419CONFIG_SUPPORT_OF_CONTROL=y
420CONFIG_DTC=y
421
422#
423# Device Tree Control
424#
425CONFIG_OF_CONTROL=y
426# CONFIG_OF_BOARD_FIXUP is not set
427# CONFIG_OF_LIVE is not set
428CONFIG_OF_SEPARATE=y
429# CONFIG_OF_EMBED is not set
430# CONFIG_OF_BOARD is not set
431# CONFIG_OF_PRIOR_STAGE is not set
432CONFIG_DEFAULT_DEVICE_TREE="ast2600-evb"
433# CONFIG_MULTI_DTB_FIT is not set
434CONFIG_MKIMAGE_DTC_PATH="dtc"
435
436#
437# Environment
438#
439CONFIG_ENV_IS_NOWHERE=y
440# CONFIG_ENV_IS_IN_EEPROM is not set
441# CONFIG_ENV_IS_IN_FAT is not set
442# CONFIG_ENV_IS_IN_EXT4 is not set
443# CONFIG_ENV_IS_IN_FLASH is not set
444# CONFIG_ENV_IS_IN_NAND is not set
445# CONFIG_ENV_IS_IN_NVRAM is not set
446# CONFIG_ENV_IS_IN_ONENAND is not set
447# CONFIG_ENV_IS_IN_REMOTE is not set
448# CONFIG_ENV_IS_IN_SPI_FLASH is not set
449# CONFIG_ENV_IS_IN_UBI is not set
450# CONFIG_USE_DEFAULT_ENV_FILE is not set
451# CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG is not set
452CONFIG_NET=y
453# CONFIG_NET_RANDOM_ETHADDR is not set
454# CONFIG_NETCONSOLE is not set
455
456#
457# Device Drivers
458#
459
460#
461# Generic Driver Options
462#
463CONFIG_DM=y
464CONFIG_DM_WARN=y
465# CONFIG_DM_DEBUG is not set
466CONFIG_DM_DEVICE_REMOVE=y
467CONFIG_DM_STDIO=y
468CONFIG_DM_SEQ_ALIAS=y
469# CONFIG_SPL_DM_SEQ_ALIAS is not set
470CONFIG_REGMAP=y
471# CONFIG_SYSCON is not set
472# CONFIG_DEVRES is not set
473CONFIG_SIMPLE_BUS=y
474CONFIG_OF_TRANSLATE=y
475CONFIG_DM_DEV_READ_INLINE=y
476# CONFIG_ADC is not set
477# CONFIG_ADC_EXYNOS is not set
478# CONFIG_ADC_SANDBOX is not set
479# CONFIG_SARADC_MESON is not set
480# CONFIG_SARADC_ROCKCHIP is not set
481# CONFIG_SATA is not set
482# CONFIG_SCSI_AHCI is not set
483
484#
485# SATA/SCSI device support
486#
487# CONFIG_DWC_AHSATA is not set
488# CONFIG_FSL_SATA is not set
489# CONFIG_MVSATA_IDE is not set
490# CONFIG_SATA_MV is not set
491# CONFIG_SATA_SIL is not set
492# CONFIG_SATA_SIL3114 is not set
493# CONFIG_AXI is not set
494# CONFIG_BLK is not set
495CONFIG_HAVE_BLOCK_DEVICE=y
496# CONFIG_IDE is not set
497# CONFIG_BOOTCOUNT_LIMIT is not set
498
499#
500# Clock
501#
502CONFIG_CLK=y
503# CONFIG_CLK_HSDK is not set
504# CONFIG_CLK_AT91 is not set
505# CONFIG_CLK_SIFIVE is not set
506# CONFIG_ICS8N3QV01 is not set
507# CONFIG_CLK_MPC83XX is not set
508# CONFIG_CPU is not set
509
510#
511# Hardware crypto devices
512#
513# CONFIG_FSL_CAAM is not set
514# CONFIG_SYS_FSL_SEC_BE is not set
515# CONFIG_SYS_FSL_SEC_LE is not set
516# CONFIG_IMX8M_DRAM is not set
517# CONFIG_IMX8M_LPDDR4 is not set
518# CONFIG_IMX8M_DDR4 is not set
519CONFIG_SAVED_DRAM_TIMING_BASE=0x180000
520
521#
522# Demo for driver model
523#
524# CONFIG_DM_DEMO is not set
525# CONFIG_BOARD is not set
526
527#
528# DFU support
529#
530
531#
532# DMA Support
533#
534# CONFIG_DMA is not set
535# CONFIG_TI_EDMA3 is not set
536
537#
538# Fastboot support
539#
540# CONFIG_UDP_FUNCTION_FASTBOOT is not set
541# CONFIG_FIRMWARE is not set
542
543#
544# FPGA support
545#
546# CONFIG_FPGA_ALTERA is not set
547# CONFIG_FPGA_SOCFPGA is not set
548# CONFIG_FPGA_XILINX is not set
549# CONFIG_FPGA_SPARTAN3 is not set
550
551#
552# GPIO Support
553#
554# CONFIG_DM_GPIO is not set
555# CONFIG_DA8XX_GPIO is not set
556# CONFIG_INTEL_BROADWELL_GPIO is not set
557# CONFIG_IMX_RGPIO2P is not set
558# CONFIG_LPC32XX_GPIO is not set
559# CONFIG_MXC_GPIO is not set
560# CONFIG_CMD_PCA953X is not set
561# CONFIG_CMD_TCA642X is not set
562# CONFIG_VYBRID_GPIO is not set
563
564#
565# Hardware Spinlock Support
566#
567# CONFIG_DM_HWSPINLOCK is not set
568
569#
570# I2C support
571#
572# CONFIG_DM_I2C is not set
573# CONFIG_DM_I2C_COMPAT is not set
574# CONFIG_SYS_I2C_DW is not set
575# CONFIG_SYS_I2C_IMX_LPI2C is not set
576# CONFIG_SYS_I2C_MXC is not set
577CONFIG_INPUT=y
578# CONFIG_DM_KEYBOARD is not set
579# CONFIG_CROS_EC_KEYB is not set
580# CONFIG_TEGRA_KEYBOARD is not set
581# CONFIG_TWL4030_INPUT is not set
582
583#
584# LED Support
585#
586# CONFIG_LED is not set
587# CONFIG_LED_STATUS is not set
588
589#
590# Mailbox Controller Support
591#
592# CONFIG_DM_MAILBOX is not set
593
594#
595# Memory Controller drivers
596#
597
598#
599# Multifunction device drivers
600#
601# CONFIG_MISC is not set
602# CONFIG_CROS_EC is not set
603# CONFIG_DS4510 is not set
604# CONFIG_FSL_SEC_MON is not set
605# CONFIG_MXC_OCOTP is not set
606# CONFIG_NUVOTON_NCT6102D is not set
607# CONFIG_PWRSEQ is not set
608# CONFIG_PCA9551_LED is not set
609# CONFIG_TWL4030_LED is not set
610# CONFIG_WINBOND_W83627 is not set
611# CONFIG_FS_LOADER is not set
612
613#
614# MMC Host controller Support
615#
616# CONFIG_MMC is not set
617# CONFIG_MMC_BROKEN_CD is not set
618# CONFIG_DM_MMC is not set
619# CONFIG_FSL_ESDHC is not set
620
621#
622# MTD Support
623#
624# CONFIG_MTD is not set
625# CONFIG_MTD_NOR_FLASH is not set
626# CONFIG_MTD_DEVICE is not set
627# CONFIG_FLASH_CFI_DRIVER is not set
628# CONFIG_NAND is not set
629
630#
631# SPI Flash Support
632#
633
634#
635# UBI support
636#
637# CONFIG_CONFIG_UBI_SILENCE_MSG is not set
638# CONFIG_MTD_UBI is not set
639# CONFIG_BITBANGMII is not set
640# CONFIG_MV88E6352_SWITCH is not set
641# CONFIG_PHYLIB is not set
642# CONFIG_FSL_PFE is not set
643# CONFIG_DM_ETH is not set
644# CONFIG_NETDEVICES is not set
645# CONFIG_PCI is not set
646
647#
648# PHY Subsystem
649#
650CONFIG_PHY=y
651# CONFIG_SPL_PHY is not set
652# CONFIG_NOP_PHY is not set
653# CONFIG_MSM8916_USB_PHY is not set
654# CONFIG_MVEBU_COMPHY_SUPPORT is not set
655
656#
657# Pin controllers
658#
659CONFIG_PINCTRL=y
660CONFIG_PINCTRL_FULL=y
661CONFIG_PINCTRL_GENERIC=y
662CONFIG_PINMUX=y
663# CONFIG_PINCONF is not set
664# CONFIG_PINCTRL_AT91 is not set
665# CONFIG_PINCTRL_AT91PIO4 is not set
666# CONFIG_PINCTRL_ROCKCHIP_RV1108 is not set
667# CONFIG_PINCTRL_SINGLE is not set
668# CONFIG_PINCTRL_STM32 is not set
669
670#
671# Power
672#
673
674#
675# Power Domain Support
676#
677# CONFIG_POWER_DOMAIN is not set
678# CONFIG_DM_PMIC is not set
679# CONFIG_PMIC_AS3722 is not set
680# CONFIG_POWER_MC34VR500 is not set
681# CONFIG_DM_REGULATOR is not set
682# CONFIG_DM_PWM is not set
683# CONFIG_PWM_SANDBOX is not set
684# CONFIG_U_QE is not set
685# CONFIG_RAM is not set
686
687#
688# Remote Processor drivers
689#
690
691#
692# Reset Controller Support
693#
694CONFIG_DM_RESET=y
695CONFIG_AST2500_RESET=y
696
697#
698# Real Time Clock
699#
700# CONFIG_DM_RTC is not set
701# CONFIG_RTC_PL031 is not set
702# CONFIG_RTC_S35392A is not set
703# CONFIG_RTC_MC146818 is not set
704# CONFIG_RTC_M41T62 is not set
705# CONFIG_SCSI is not set
706
707#
708# Serial drivers
709#
710CONFIG_BAUDRATE=115200
711CONFIG_REQUIRE_SERIAL_CONSOLE=y
712# CONFIG_SPECIFY_CONSOLE_INDEX is not set
713CONFIG_SERIAL_PRESENT=y
714CONFIG_SPL_SERIAL_PRESENT=y
715CONFIG_TPL_SERIAL_PRESENT=y
716CONFIG_DM_SERIAL=y
717# CONFIG_SERIAL_RX_BUFFER is not set
718# CONFIG_SERIAL_SEARCH_ALL is not set
719# CONFIG_TPL_DM_SERIAL is not set
720# CONFIG_ALTERA_JTAG_UART is not set
721# CONFIG_ALTERA_UART is not set
722# CONFIG_ARC_SERIAL is not set
723# CONFIG_ATMEL_USART is not set
724# CONFIG_BCM6345_SERIAL is not set
725# CONFIG_FSL_LINFLEXUART is not set
726# CONFIG_FSL_LPUART is not set
727# CONFIG_MVEBU_A3700_UART is not set
728# CONFIG_NULLDEV_SERIAL is not set
729CONFIG_SYS_NS16550=y
730# CONFIG_PL01X_SERIAL is not set
731# CONFIG_MSM_SERIAL is not set
732# CONFIG_OMAP_SERIAL is not set
733# CONFIG_PXA_SERIAL is not set
734# CONFIG_SIFIVE_SERIAL is not set
735# CONFIG_MTK_SERIAL is not set
736# CONFIG_SMEM is not set
737
738#
739# Sound support
740#
741# CONFIG_SOUND is not set
742# CONFIG_SPI is not set
743
744#
745# SPMI support
746#
747# CONFIG_SPMI is not set
748
749#
750# System reset device drivers
751#
752CONFIG_SYSRESET=y
753# CONFIG_SYSRESET_GPIO is not set
754# CONFIG_SYSRESET_SYSCON is not set
755# CONFIG_SYSRESET_WATCHDOG is not set
756# CONFIG_SYSRESET_MCP83XX is not set
757# CONFIG_TEE is not set
758# CONFIG_OPTEE is not set
759# CONFIG_DM_THERMAL is not set
760
761#
762# Timer Support
763#
764# CONFIG_TIMER is not set
765
766#
767# TPM support
768#
769# CONFIG_USB is not set
770
771#
772# Graphics support
773#
774# CONFIG_DM_VIDEO is not set
775# CONFIG_SYS_WHITE_ON_BLACK is not set
776# CONFIG_NO_FB_CLEAR is not set
777
778#
779# TrueType Fonts
780#
781# CONFIG_VIDEO_VESA is not set
782# CONFIG_VIDEO_LCD_ANX9804 is not set
783# CONFIG_VIDEO_LCD_SSD2828 is not set
784# CONFIG_VIDEO_MVEBU is not set
785# CONFIG_I2C_EDID is not set
786# CONFIG_DISPLAY is not set
787# CONFIG_VIDEO_TEGRA20 is not set
788# CONFIG_VIDEO_BRIDGE is not set
789# CONFIG_VIDEO is not set
790# CONFIG_LCD is not set
791# CONFIG_VIDEO_SIMPLE is not set
792# CONFIG_VIDEO_DT_SIMPLEFB is not set
793# CONFIG_OSD is not set
794
795#
796# VirtIO Drivers
797#
798# CONFIG_VIRTIO_MMIO is not set
799
800#
801# 1-Wire support
802#
803# CONFIG_W1 is not set
804
805#
806# 1-wire EEPROM support
807#
808# CONFIG_W1_EEPROM is not set
809
810#
811# Watchdog Timer Support
812#
813# CONFIG_WATCHDOG is not set
814# CONFIG_WATCHDOG_RESET_DISABLE is not set
815# CONFIG_BCM2835_WDT is not set
816# CONFIG_ULP_WATCHDOG is not set
817CONFIG_WDT=y
818CONFIG_WDT_ASPEED=y
819# CONFIG_WDT_ORION is not set
820# CONFIG_WDT_CDNS is not set
821# CONFIG_XILINX_TB_WATCHDOG is not set
822# CONFIG_IMX_WATCHDOG is not set
823# CONFIG_WDT_AT91 is not set
824# CONFIG_PHYS_TO_BUS is not set
825
826#
827# File systems
828#
829# CONFIG_FS_BTRFS is not set
830# CONFIG_FS_CBFS is not set
831# CONFIG_FS_EXT4 is not set
832# CONFIG_FS_FAT is not set
833# CONFIG_FS_JFFS2 is not set
834# CONFIG_UBIFS_SILENCE_MSG is not set
835# CONFIG_FS_CRAMFS is not set
836# CONFIG_YAFFS2 is not set
837
838#
839# Library routines
840#
841# CONFIG_BCH is not set
842# CONFIG_CC_OPTIMIZE_LIBS_FOR_SPEED is not set
843# CONFIG_DYNAMIC_CRC_TABLE is not set
844CONFIG_HAVE_PRIVATE_LIBGCC=y
845CONFIG_LIB_UUID=y
846CONFIG_PRINTF=y
847CONFIG_SPRINTF=y
848CONFIG_STRTO=y
849CONFIG_USE_PRIVATE_LIBGCC=y
850CONFIG_SYS_HZ=1000
851# CONFIG_USE_TINY_PRINTF is not set
852# CONFIG_PANIC_HANG is not set
853CONFIG_REGEX=y
854# CONFIG_SPL_TINY_MEMSET is not set
855# CONFIG_TPL_TINY_MEMSET is not set
856# CONFIG_BITREVERSE is not set
857# CONFIG_CMD_DHRYSTONE is not set
858
859#
860# Security support
861#
862# CONFIG_AES is not set
863# CONFIG_RSA is not set
864# CONFIG_TPM is not set
865
866#
867# Android Verified Boot
868#
869
870#
871# Hashing Support
872#
873# CONFIG_SHA1 is not set
874# CONFIG_SHA256 is not set
875# CONFIG_SHA_HW_ACCEL is not set
876
877#
878# Compression Support
879#
880# CONFIG_LZ4 is not set
881# CONFIG_LZMA is not set
882# CONFIG_LZO is not set
883# CONFIG_SPL_LZ4 is not set
884# CONFIG_SPL_LZO is not set
885# CONFIG_SPL_GZIP is not set
886# CONFIG_ERRNO_STR is not set
887CONFIG_HEXDUMP=y
888CONFIG_OF_LIBFDT=y
889# CONFIG_OF_LIBFDT_OVERLAY is not set
890# CONFIG_SPL_OF_LIBFDT is not set
891# CONFIG_TPL_OF_LIBFDT is not set
892
893#
894# System tables
895#
896# CONFIG_GENERATE_SMBIOS_TABLE is not set
897CONFIG_EFI_LOADER=y
898CONFIG_EFI_UNICODE_CAPITALIZATION=y
899# CONFIG_EFI_LOADER_HII is not set
900CONFIG_OPTEE_TZDRAM_SIZE=0x0000000
901CONFIG_OPTEE_TZDRAM_BASE=0x00000000
902# CONFIG_UNIT_TEST is not set
903