Intel and Nokia will be launching a linux based open operating system for smartphones, netbooks, and tablets. What is it called ?