Arduino for STM32

I do not see support for the STM32F767NIHx board. I see 'Generic STM32F767IIKx' under 'Generic STM32F7 series' (2.6.0), which seems to have the highest pin count. Can I program the NIH-package using the IIK-package core and just not include IOs that aren't supported with the smaller IIK-package? Or is there a better solution?

You could try to add it following the wiki:
https://github.com/stm32duino/Arduino_C ... 28board%29