Brin: Two Google Operating Systems May Become One