Rethinking microkernels: Towards a modern general-purpose OS