The other day, Matt and I were trying to save ourselves the pain of running Vivado Lab Edition every time we wanted to run a new OS image on OpenPiton on our VC707 board. Matt managed to piece together how to program the BPI flash so that we can boot the board from a pre-programmed OpenPiton image. He sent me his steps and I've reproduced them below. I hope this will help others!
1) Generate a bitstream (.bit) file in the normal way.
I've recently spent a fairly significant amount of time messing with hex dumps and object dumps for files related to OS bring-up and assembly tests for OpenPiton. One of the things I felt I was lacking was the ability to hex edit inside of vim. Turns out that you can filter the buffer through xxd which allows you to do just that!
I've had a couple of occasions in the past year or so where I've wanted to make use of a github repo as the reference point for my development but haven't wanted to directly clone and use that repo as the origin. Below I've included the commands I used to set up a local repo which has the github repo as a remote that I can then pull from when there are relevant changes to grab.
We make use of group shared repos so I first set up that repo: