I've put the code up:
Despite what the branch is called, it's not a generic Thumb-2 port. I'll be
repurposing the development board for something else so it's unlikely that I'll
be developing this specific port further unless I have a bright idea in the
next couple of days.
There's definitely scope for making it run on a Thumb/Thumb-2 system with more
than the 192K of RAM that this one has. I have another board with 256K of RAM
that I could target, though this means lots of changes to the port because the
microcontroller is from a different vendor.