Andy Tai writes
this Wired story, InfiniteOS will be GPLed. After this story is leaked out at a site called slashdot.org ( :-) ), the owner of InfiniteOS quickly admitted mistakes and made the Right Choice. The GPL gains another convert.
The system will be down for 10 days for preventive maintenance.