The singularity category of a separable extension

We prove that separable extensions of noetherian rings and finite étale morphisms of noetherian schemes give rise to separable extensions of singularity categories.