[scottapotamas]

You just buy the microcontrollers and put them on your custom PCB.

The devkits aren’t suitable for resale but there’s no additional licence when you buy an ARM micro from pretty much any manufacturer.