They are probably using QNX[1] which doesn't really have anything to do with Blackberry phones. QNX has a pretty wide adoption in the embedded systems community.

[1] http://en.wikipedia.org/wiki/QNX