A Data-driven Operating System