Forum Discussion
Verify BSP settings
- 3 years ago
Got that one resolved!
I decided to re-build bootloader and tried to follow the GSRD v14.0 - Generating and Compiling the Preloader
When I copied the binary to my uSD card the system didn't boot - likely some of the important details like partition type etc. I went back to my previous scripts that use mainline u-boot (branch v2019.07).
After some searching how the BSP specific information gets included into the u-boot-with-spl_DE0.sfp u-boot binary I discovered in the u-boot build tree the fileboard/terasic/de0-nano-soc/qts/pinmux_config.hI edited desired "...USEFPGA" values to "1"
abbreviated ...
1, /* UART1USEFPGA */ 0, /* CAN1USEFPGA */ 0, /* USB1USEFPGA */ 0, /* I2C3USEFPGA */ 1, /* I2C2USEFPGA */
...rebuilt the u-boot, placed on my uSD card and the previously failing kernel with corresponding drivers and device tree started to work as expected.
Hoping this may help someone else.
Martin
Hi Martin
Glad that you able to get the uboot to boot from SD Card.
There is a much easire method of doing it available here in the link below:
Regarding the question that you have. Please find my respond below:
Is there a way to verify that the resource (such as "serial1") is actually enabled from within a running OS?
Once booted you could check the device under the "/dev" directory in the Linux OS.
Can one enable a HPS module during run-time or is the bootloader the only place?
The HPS module needs to be enabled during the bootloader.