Hello, Has anyone ran RTEMS on Altera Cyclone V SoCkit yet? Now, I built the RTMES program (hello example) and try to run on the SoCkit board with a SD card. But, not sure how to run it. Can anyone tell me step by step how to load the image file? Thanks, Jay