paginacion para kernel terminada