How can I control the user-programmable LEDs in my application for EC312?

The EC312 has four programmable LEDs (USER1–USER4).

They can be controlled via the Linux sysfs interface at /sys/class/leds/userX/.

To turn an LED on, write 1 to its brightness file (e.g., echo 1 > /sys/class/leds/user1/brightness).