Intel Aero Flight Controller
The Aero is a UAV development platform, by Intel. Part of this is the Intel Aero Compute Board, running Linux on a Quad-core CPU. This is connected to the FMU, which runs PX4 on NuttX.
It is currently not yet released as product and our development documentation is here.