The ARM Librarian allows sets of related AOF files to be collected together, and for these libraries to be maintained. Such a library can then be passed to the linker instead of several AOF files.
However, linking with an object library file does not necessarily produce the same results as linking with all the object files collected into the object library file. This is due to the way armlink processes its input files:
each object file in the input list appears in the output unconditionally (although unused areas will be eliminated if the output is AIF or if the -NOUNUSEDareas option is specified);
a module from a library file is only included in the output if an object file, or previously processed library file refers to it.