Butterfly is building a Linux operating system called Pond.