kernel programming framework