Adult OLPC OS: Red Hat Global Desktop or Ubuntu Mobile?