Restore Agilex 5 SDHCI host reset to match hardware-proven behavior

Author: aidangarske

arch.mk

@@ -175,9 +175,8 @@ ifeq ($(ARCH),AARCH64)
     CFLAGS+=-DWOLFBOOT_DUALBOOT -DWOLFBOOT_UBOOT_LEGACY
     # BL31 owns GICv3 and secondary-core/PSCI setup. Do not touch RVBAR.
     CFLAGS+=-DSKIP_RVBAR=1 -DSKIP_GIC_INIT=1
-    # SPL/TF-A leave the Cadence host initialized; retain its PHY state and
-    # allow the controller's required post-command settle time.
-    CFLAGS_EXTRA+=-DSDHCI_SKIP_HOST_RESET=1 -DSDHCI_WAIT_AFTER_CMD_US=1000
+    # Full SDHCI host reset: SPL leaves the Cadence host in UHS-I 1.8V/SDR104,
+    # which mutes CMD8 against the 3.3V re-powered card (hardware-verified).
   endif
 
   ifeq ($(TARGET),nxp_ls1028a)

docs/Targets.md

@@ -9431,7 +9431,6 @@ The difference between the two timestamps is the cost of everything wolfBoot doe
 
 Both caches are enabled by `hal_init()`, which matters because verifying an image means hashing megabytes resident in DDR. The ARMv7-M default memory map marks `0x80000000-0x9FFFFFFF` as Normal write-through, so no MPU region is needed and M7 stores to the shared window still reach DDR; the HAL nevertheless cleans the affected lines explicitly so that behaviour is not left depending on an inherited attribute.
 
-<<<<<<< HEAD
 ## TI C2000 C28x (LAUNCHXL-F28P55X)
 
 wolfBoot runs on the Texas Instruments C2000 C28x DSP (TMS320F28P550SJ, 150 MHz) as a secure execute-in-place (XIP) bootloader. The C28x is word-addressed with `CHAR_BIT == 16` (no 8-bit type -- each octet occupies one 16-bit cell), built with the TI `cl2000` toolchain against wolfSSL's wide-byte (`CHAR_BIT != 8`) support.

hal/agilex5.c

@@ -301,9 +301,8 @@ void sdhci_reg_write(uint32_t offset, uint32_t value)
 
 void sdhci_platform_init(void)
 {
-    /* SPL initialized the host, clocks, reset and pinmux while loading BL31
-     * and BL33. Preserve that live host state and restore the 013B PHY timing
-     * required after wolfBoot takes ownership from TF-A. */
+    /* SPL initialized the clocks and pinmux; the generic driver then soft
+     * resets the host, so restore the 013B PHY timing here. */
     if (agilex5_sdhci_phy_init() != 0)
         wolfBoot_printf("SDHCI: Cadence PHY initialization timed out\n");
 }