User Activity

Hi everyone, I was finally able to get to the kernel and use the shell using the sd card (yay!). However, we want to boot from the emmc (sd card was for dev purposes but we want only emmc) and I am running into an issue. Here is my boot log from boot...
Hi everyone, I made it past the bootloader stages but am now running into errors with starting the Linux kernel. I have an eMMC and SD card but I am trying to only use the SD card for now. I have completely removed the eMMC from device tree and remov...
Hi everyone, I am trying to boot up a custom PCB using the STM32MP131D, however I am running into an error during OPTEE. I have attached the optee dts and also a debug log of OPTEE during boot. I confirmed that sdmmc1_io, sdmmc2_io, and cpu0_opp_tabl...
Hi everyone, I have been trying to get Docker running on the STM32MP135F-DK for quite some time now and have been running into some issues. I originally built an image for the STM32MP135F-DK with the Mickledore release by following this tutorial: Lin...
Kudos from