Added linux kernel related provider