Open-source LED controller based around the picoMIPS architecture