  In this paper, we generally describe a method of taking an abstract six
functors formalism in the sense of Khan or Cisinski-D\'{e}glise, and outputting
a derived motivic measure in the sense of Campbell-Wolfson-Zakharevich. In
particular, we use this framework to define a lifting of the Gillet-Sou\'e
motivic measure.
