Maybe they should have been in user-space to begin with? Micro-service kernel, here we come.