Pixhawk is the standard microcontroller platform for the PX4 flight stack.
There are many Pixhawk-compatible flight controllers available, including the 3DR Pixhawk and Pixhawk Mini, Pixfalcon, HKPilot32, AUAV-X2 etc.
As an open-hardware design, all schematics and design files are publically available.