Towards a Flexible, High-Performance Operating System for Mobile/Cloud Applications