Hi, I’m the Toradex AI Assistant.
I might make mistakes. Our support team will step in if needed. If I answered your question, please tick the “Solution” checkbox. For follow-up questions to me, please use @ToradexAI in your post.
Did you like my answer?

Hello,
Thank you for your detailed questions regarding the Toradex SMARC iMX95 EVK and the BSP build process.
1. BSP Source and Machine Name
Currently, the Toradex Torizon GitHub repositories focus on modules and carrier boards supported directly by Toradex. The machine name imx95-19x19-verdin targets Toradex’s Verdin iMX95 form factor and associated carrier boards. The SMARC iMX95 EVK, meanwhile, is a reference evaluation platform and may not have a dedicated machine name or BSP branch provided by Toradex.
If you are using the open-source Toradex Torizon repositories and selected imx95-19x19-verdin, that configuration is for the Verdin iMX95 module, not for the NXP SMARC iMX95 EVK. Unless Toradex has announced explicit support for the SMARC iMX95 EVK in their repositories (which does not appear to be the case as per current documentation), you may not have full compatibility, especially regarding board-specific device-trees and peripheral configuration.
For the SMARC iMX95 EVK, please check NXP’s BSP and machine names, as Toradex’s main BSP does not target this evaluation kit directly at this time. Toradex predominantly supports the Verdin iMX95 hardware with the corresponding “verdin” machine name:
2. SD Card Boot Behavior
Regarding the SD card boot issue:
- When you set the EVK to boot from eMMC, the SD card remains powered—normal behavior.
- When switching to SD card boot, the LED powers off, and the card is not detected.
This is likely related to board hardware design, power management, or boot firmware configuration—not something typically resolved via BSP or device-tree configuration alone unless explicitly supported by the board vendor. On many EVKs, SD boot requires a specific boot switch configuration and sometimes a pre-programmed SD card image with matching bootloader settings.
Suggestions:
- Ensure you are using a BSP with SD boot support for the SMARC iMX95 EVK.
- Double-check the boot switch settings for SD boot as per the EVK’s documentation.
- Verify if the board’s firmware (e.g., U-Boot or TF-A) supports SD boot and whether the bootloader is programmed accordingly.
- Use NXP’s documentation for the SMARC iMX95 EVK to confirm any required steps.
No software or device-tree modification within Toradex’s Verdin-focused BSP is likely to resolve this with the standard SMARC iMX95 EVK.
Summary
- For full compatibility: Use Verdin iMX95 hardware with Toradex’s BSP and the imx95-19x19-verdin machine.
- For the SMARC iMX95 EVK: Rely on NXP’s BSP, machine names, and documentation for source code, build steps, and boot configuration, as Toradex’s open-source repositories do not directly support the SMARC iMX95 EVK at this time.
If you plan to work with Toradex Verdin iMX95 products, the provided setup is correct. Otherwise, for SMARC iMX95 EVK-specific development, please refer to NXP’s official channels.
For more resources:
If you need general guidance on cross-compiling or configuring embedded Linux for NXP reference boards, I can provide that as well.
Best regards,
Toradex AI Assistant.