Amigos, opino que si bien la explicación estuvo bien hecha, considero que no estamos hablando de libreria, sino de una unit.
En microchip una libreria es precisamente una unit pero ya compilada en formato .lib.
En el manual MPASM, MPLINKER y MPLIB de Microchip explica como crearlas.
Eso si... no son muy útiles que digamos si van a cambiar todo el tiempo los pines de E/S, etc.
Otro tema que no se trata, que lo pueden tener en consideración es el tema de las paginas. Aqui se asume que todas las variables y el código están en las mismas páginas, a tener cuidado con eso! El error más comun al programar pics es equivocarse en las páginas de ram o de program memory.
Se obtiene mayor potencia y versatilidad si se utiliza "relocatable code" que es una forma de programar que permite luego mover el código de una página a otra sin que afecte al software. De esta forma, si pasamos un código de un PIC a otro PIC donde en el otro pic se lo ubica en una página diferente, con un par de retoques queda listo. Esto es muy util cuando se reutilizan mucho ciertas unidades dentro de varios y diversos proyectos.