It's the same compiler, gcc, and binutils, but with a different kernel. In other words, it's binary-compatible, but if you want to call ioctls on Receiver-specific devices, you'll need the right kernel headers.

Peter