Recently 3DR added the "Pixhawk Mini" to its website. It looks very much like the Pixhawk Falcon which is available from HobbyKing and others. They do say that they "collaborated" with HobbyKing on this FC but it uses upgraded sensors and there maybe some other differences compared with the HK...