This is why operating systems are hard. It's not the architecture or the algorithms.