Программное обеспечение, Кинель