I load the linux kernal by sd card on DE1-SoC board, and try to wirte a c file to turn on the led, the program is running without bug but FPGA shows no response.
