DG12 kernel