  We show that hermitian K-theory is universal among generalized motivic
cohomology theories with transfers along finite Gorenstein morphisms with
trivialized dualizing sheaf. As an application, we obtain a Hilbert scheme
model for hermitian K-theory as a motivic space.
