We have finished mounting the board and it's alive!

The LPC1768 comes with a bootloader to accept being programmed over UART0 via an FTDI converter. We are still seeing if it's possible to load the secondary USB bootloader and/or integrate it with PlatformIO for a one-click compilation and uploading experience, but for now we are programming it using Marc Prager's mxli.

We have also tested that the power selection works, as it disconnects the USB from the board as soon as the battery is connected and then reconnects when the latter is removed.