QNX is an excellent example of OS design: minimal TCB, efficient, self-healing to a degree, and supports popular runtimes/libraries. You don't need to imagine what a consumer version is like: Google a Blackberry Playbook demo to see its power. To be accurate, that OS is a combo of QNX and Blackberry addon's. Most couldn't run Internet and two games at once without lag. ;)