In general in C compilers conventions files with .a extensions are archives for normal libraries (static),
.sa (shared archives) for shared libraries.
I don't know exactly, but i think that virtuos says virtual operating system (i'm not sure).
Anyway, if u have problem with these files u should mention the error msgs.