PIC32MX Bare Metal Framework (formerly known as "Platform2.X"). Source: dave (at) nerdfever.com I added this.