I am a bit confused about the Intel Aero support.
Intel ships the Intel Aero RTF drone with the "Asctec Trinity" flight controller which apparently runs the px4 firmware (https://github.com/PX4/Firmware/blob/master/ROMFS/px4fmu_common/init.d/4070_aerofc).
But looking on the discussion on github issues, I have the feeling that there is actually work being done on getting px4 running on the board itself rather than the Trinity FC. As the board does have everything needed hardware-wise this seems feasible.
Can somebody clarify this for me?