diff options
| author | Simon Glass | 2023-07-27 15:54:29 -0600 |
|---|---|---|
| committer | Peter Robinson | 2023-09-03 23:20:59 +0100 |
| commit | 90f626a5d8603dc3bffe30d8be19de284853b5d6 (patch) | |
| tree | f9d48cd23ca79ab3ccad198def0bcc2bf9d2007f /configs/rpi_4_32b_defconfig | |
| parent | c771e5b8c2a186fb072b6c6f571d4a3cc86efba9 (diff) | |
rpi: Disable DISTRO_DEFAULTS
Disable this option to reclaim some space, since bootstd requires less
functionality to operate (e.g. hush parser).
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'configs/rpi_4_32b_defconfig')
| -rw-r--r-- | configs/rpi_4_32b_defconfig | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configs/rpi_4_32b_defconfig b/configs/rpi_4_32b_defconfig index 71f61c52e52..55bf6c0770f 100644 --- a/configs/rpi_4_32b_defconfig +++ b/configs/rpi_4_32b_defconfig @@ -13,7 +13,6 @@ CONFIG_SYS_LOAD_ADDR=0x1000000 CONFIG_BOOTSTD_DEFAULTS=y CONFIG_PCI=y CONFIG_OF_BOARD_SETUP=y -CONFIG_DISTRO_DEFAULTS=y CONFIG_USE_PREBOOT=y CONFIG_PREBOOT="pci enum; usb start;" # CONFIG_DISPLAY_CPUINFO is not set |