Yeah, pretty much.

They provide the devkit hardware, the specification technical documentation and the tool chain to compile the binary.