Mackay kernel outsourced!