Hi, in my pixracer I have a DW1000 chip linked to the board in the following way:
https://drive.google.com/file/d/0B27wh2v2zWmeWC1QeFBhdTZhMExlbEFHSUxMVGROM0lZd3g0/view
https://drive.google.com/file/d/0B27wh2v2zWmeRUp5ekhNR3JlaFk/view
So I have to configure a SPI port using these pins.
I’ve been indicated this folder as the way to go:
https://github.com/ArduPilot/PX4Firmware/tree/master/nuttx-configs/px4fmu-v2
so I think it comes to this particular file:
https://github.com/ArduPilot/PX4Firmware/blob/master/nuttx-configs/px4fmu-v2/include/board.h
I would need advice (more detailed the better) both to how “declare” the new port and to what values assign to it.
Could you help me? 
I’m confused about the values to assign because I found this file:
https://github.com/ArduPilot/PX4NuttX/blob/1a99ba5832d7ad815df6ed847e052c128644c8f7/nuttx/arch/arm/src/stm32/chip/stm32f40xxx_pinmap.h
and I think the pins don’t really match with board.h, what did I misunderstood ?
Thank you