Installation
============

.. todo: explain the setup of vivado & amaranth & pipenv