Kinetic divertor modeling