gistfile1.txt

Download and Install the toolchain xobs built
---------------------------------------------
https://github.com/xobs/ecp5-toolchain


Install the badge firmware repo
-------------------------------

git clone https://github.com/Spritetm/hadbadge2019_fpgasoc.git
cd hadbadge2019_fpgasoc/
git submodule update --init --recursive

Install tinyprog from TinyFPGA-Bootloader
-----------------------------------------

//FIXME!! This isn't working on one of my machines
cd TinyFPGA-Bootloader/programmer
sudo python setup.py install

//FIXME!! This may be the better option but not yet fully working either
pip3 install --user tinyprog


Compile and flash soc
---------------------
cd ../../soc
make
//plug badge in via usb while turned off. turn on and wait 1 second
make flash

Compile and flash ipl
---------------------
cd ipl
make
//plug badge in via usb while turned off. turn on and wait 1 second
make flash