pipistrello: add user reset
authorRobert Jordens <jordens@gmail.com>
Thu, 19 Mar 2015 17:36:34 +0000 (11:36 -0600)
committerSebastien Bourdeauducq <sb@m-labs.hk>
Thu, 19 Mar 2015 18:01:06 +0000 (19:01 +0100)
commitec465959d0f5ba373e4687d67485146dc04eb1f4
tree4658e00db06fbc2121c0e480d2a25bad0de38056
parenta10875a3b7d16b88007995ecc0e71bbd3cebb172
pipistrello: add user reset

apparently needed for flashed bitstream, xiped bios, mor1kx
targets/pipistrello.py