migen + misoc + redpitaya = digital servo - View it on GitHub