I'm having issues using IO channels in OpenCL using the DE1SOC board from Terasic, I've modified the BSP and added in a basic LED controller to test it but still cannot make the LED light up, here is a list of files i've modified.
I'm attaching the picture of the places where I've modified the original bsp files and including the verilog model of the led_controller.
Did you try hooking led_in to a direct switch and make sure rest of the circuit works fine and the LED lights up successfully?
Once you have confirmed this, how are you connecting the led_in to the AVST intf generated by the compiler? Is it connect to the valid or the databus.