We present a non-perturbative quantization of general relativity coupled to dust and
other matter fields. The dust provides a natural time variable, leading to a physical
Hamiltonian with spatial diffeomorphism symmetry. The methods of loop quantum gravity
applied to this model lead to a physical Hilbert space and Hamiltonian. This provides
a framework for physical calculations in the theory.