| Stephan Gerhold | 43d2885 | 2020-01-04 18:45:19 +0100 | [diff] [blame] | 1 | CONFIG_ARM=y |
| Tom Rini | a2ac2b9 | 2021-08-27 21:18:30 -0400 | [diff] [blame] | 2 | CONFIG_SKIP_LOWLEVEL_INIT=y |
| Stephan Gerhold | 43d2885 | 2020-01-04 18:45:19 +0100 | [diff] [blame] | 3 | CONFIG_ARCH_U8500=y |
| Tom Rini | 9774462 | 2021-08-30 09:16:30 -0400 | [diff] [blame] | 4 | CONFIG_SUPPORT_PASSING_ATAGS=y |
| 5 | # CONFIG_SETUP_MEMORY_TAGS is not set |
| 6 | CONFIG_INITRD_TAG=y |
| Stephan Gerhold | 43d2885 | 2020-01-04 18:45:19 +0100 | [diff] [blame] | 7 | CONFIG_SYS_TEXT_BASE=0x100000 |
| Stephan Gerhold | 03585d5 | 2021-07-07 12:58:54 +0200 | [diff] [blame] | 8 | CONFIG_NR_DRAM_BANKS=2 |
| Tom Rini | 7cfbba3 | 2021-08-28 21:34:49 -0400 | [diff] [blame] | 9 | CONFIG_SYS_MALLOC_LEN=0x0200000 |
| Tom Rini | f7d0ae9 | 2020-07-28 08:46:52 -0400 | [diff] [blame] | 10 | CONFIG_DEFAULT_DEVICE_TREE="ste-ux500-samsung-stemmy" |
| Tom Rini | 49c8ef0 | 2021-08-23 10:25:31 -0400 | [diff] [blame] | 11 | CONFIG_SYS_LOAD_ADDR=0x100000 |
| Stephan Gerhold | f64011e | 2021-08-07 15:07:22 +0200 | [diff] [blame] | 12 | CONFIG_USE_BOOTCOMMAND=y |
| 13 | CONFIG_BOOTCOMMAND="run fastbootcmd" |
| Stephan Gerhold | 43d2885 | 2020-01-04 18:45:19 +0100 | [diff] [blame] | 14 | CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| 15 | CONFIG_HUSH_PARSER=y |
| 16 | CONFIG_CMD_CONFIG=y |
| 17 | CONFIG_CMD_LICENSE=y |
| 18 | CONFIG_CMD_DM=y |
| 19 | CONFIG_CMD_GPIO=y |
| 20 | CONFIG_CMD_MMC=y |
| 21 | CONFIG_CMD_PART=y |
| 22 | CONFIG_CMD_GETTIME=y |
| 23 | CONFIG_EFI_PARTITION=y |
| Stephan Gerhold | 43d2885 | 2020-01-04 18:45:19 +0100 | [diff] [blame] | 24 | # CONFIG_NET is not set |
| Stephan Gerhold | f64011e | 2021-08-07 15:07:22 +0200 | [diff] [blame] | 25 | CONFIG_USB_FUNCTION_FASTBOOT=y |
| 26 | CONFIG_FASTBOOT_BUF_ADDR=0x18100000 |
| 27 | CONFIG_FASTBOOT_FLASH=y |
| 28 | CONFIG_FASTBOOT_FLASH_MMC_DEV=0 |
| Stephan Gerhold | 43d2885 | 2020-01-04 18:45:19 +0100 | [diff] [blame] | 29 | # CONFIG_MMC_HW_PARTITIONING is not set |
| Stephan Gerhold | f64011e | 2021-08-07 15:07:22 +0200 | [diff] [blame] | 30 | CONFIG_USB=y |
| 31 | CONFIG_USB_MUSB_GADGET=y |
| 32 | CONFIG_USB_GADGET=y |
| 33 | CONFIG_USB_GADGET_VENDOR_NUM=0x04e8 |
| 34 | CONFIG_USB_GADGET_PRODUCT_NUM=0x685d |
| 35 | CONFIG_DM_VIDEO=y |
| 36 | CONFIG_SYS_WHITE_ON_BLACK=y |
| 37 | CONFIG_VIDEO_MCDE_SIMPLE=y |
| Stephan Gerhold | 43d2885 | 2020-01-04 18:45:19 +0100 | [diff] [blame] | 38 | # CONFIG_EFI_LOADER is not set |