Search for heavy neutral lepton (HNL) production in charged kaon decays using the data collected by kaon experiments NA48/2 and NA62 at CERN are reported. Upper limits are established on the elements of the extended neutrino mixing matrix for heavy neutral lepton mass in the range 130-450 MeV, improving on the results from previous HNL production search.