Amazon is developing a new operating system based on Linux