Posted Jul 1, 2010 19:22 UTC (Thu) by emk (guest, #1128)
[Link]
It should be noted, however, that the typical QNX system is (IIRC) a specialized, embedded system running known software. Now, that involves solving some very hard problems, but they're not necessarily the same problems encountered in a general-purpose OS or even a smart phone.