How are knockout mice produced?

Currently, most production has been achieved by nuclease-mediated genome editing with CRISPR/Cas9-based methods.

Previously, knockout mouse lines were produced using gene targeted embryonic stem cells.

You can find out  more about IMPC allele design here.