GPIO and LEDs on PYNQ Ultra96 image



I found the ultra96 PYNQ access to the PS I2C and GPIO (mraa-gpio and mraa-i2c), but what is the way to access the 4 user-controllable LED’s? Is it through the /dev/gpiochip0 and gpiochip1 interface? I don’t see the documentation on this, and I don’t want to fry my board randomly setting pins high and low…