How exactly is Google OS going to come about though? It'd be a huge
suprise for it to involve Solaris, or Sun's OS, because Google had to
heavily customize a version of Linux provided originally by Red Hat.

Also, they were Stanford grad students, not Berkeley.