Comment on Playtron plans to launch PlaytronOS, a Linux-based OS for gaming