I have a new MicroZED board with Wind River Pulsar Linux provided on an SD card. I have followed the quick start instructions to install USB-to-UART driver, insert the SD card, connect ENET, and boot the MicroZED. However, the MicroZED does not appear to boot Wind River Pulsar Linux.
I noticed that the SD card does get mounted to "/mnt" though. What can I do to boot Wind River Pulsar Linux?
Update: I discovered the MicroZED Evaluation Kit Hardware Guide specifiers that jumpers JP2 and JP3 control the boot device to be used, and that the default boot device is QSPI flash memory. The serial output during bootup confirms that the MicroZED is booting from QSPI flash. However, changing jumpers JP2 and JP3 to the SD Card boot device setting has no effect. These are the jumper settings stated in the hardware guide:
QSPI Setting: JP3 = 2-3 (1), JP2 = 1-2 (0)
SD Card Setting: JP3 = 2-3 (1), JP2 = 2-3 (1)