// SPDX-License-Identifier: GPL-2.0+ /* * https://www.beagleboard.org/boards/beagley-ai * * Copyright (C) 2024 Texas Instruments Incorporated - https://www.ti.com/ */ #include #include #include #include #include #include #include #if IS_ENABLED(CONFIG_SET_DFU_ALT_INFO) void set_dfu_alt_info(char *interface, char *devstr) { if (IS_ENABLED(CONFIG_EFI_HAVE_CAPSULE_SUPPORT)) env_set("dfu_alt_info", update_info.dfu_string); } #endif int dram_init(void) { return fdtdec_setup_mem_size_base(); } int dram_init_banksize(void) { return fdtdec_setup_memory_banksize(); } #if defined(CONFIG_XPL_BUILD) void spl_perform_fixups(struct spl_image_info *spl_image) { if (IS_ENABLED(CONFIG_K3_DDRSS)) { if (IS_ENABLED(CONFIG_K3_INLINE_ECC)) fixup_ddr_driver_for_ecc(spl_image); } else { fixup_memory_node(spl_image); } } #endif #if IS_ENABLED(CONFIG_BOARD_LATE_INIT) int board_late_init(void) { char fdtfile[50]; snprintf(fdtfile, sizeof(fdtfile), "%s.dtb", CONFIG_DEFAULT_DEVICE_TREE); env_set("fdtfile", fdtfile); return 0; } #endif