Nice, thanks!
Shortly after my post I dove in and got the TPS65 working with the Azoteq CT210A configuration tool back in May - as you say, there is a lot you can do with these little beauties. I've been away working on other projects, but it's time to dive back in and wire it up to the teensy.