provide kernel fact