Nevermind. I see the "notes" on https://casper.berkeley.edu/wiki/GPIO reflect this new mapping of the pins. Nothing to see here.
> Hi Casper, > > Two GPIO problems in the same day. What are the odds? > > I've been using the bwrc.git development library but haven't updated since > October. I just updated to the latest version a couple of days ago, > recompiled a working design as a benchmark, and noticed that the order of > the GPIO outputs has changed. In other words, the gpioa pins come out on > different header pins. Is this a mistake? I can work around it in my > design by recompiling, but I thought it should be pointed out. > > > Sean > > >

