Sensors and Electronics Group / Public / LiteX Setup DE10-Lite