Kernel programming on *BSD