Analysis: the future of operating systems