Which configuration file is responsible for I/O pin assignment on Raspberry Pi 3 when make posix_rpi_native is used?
At least how will I know which Raspberry Pi 3 GPIO pin is assigned to which sensor driver with default native build (followed the steps provided in the PX4 documentation)?
I am trying to run PX4 on Raspberry Pi 3 with Ubuntu 18.04 using a custom sensor board. Perhaps I need to write the driver for the sensor which has SPI interface as it is not available in df_ in px4.config. Any documentation or resource I should look into to write the driver? One of the drivers in https://github.com/PX4/Firmware/tree/master/src/drivers is quite similar to what I need but it is for NuttX. Is there any procedure to migrate NuttX driver to Linux?