Hi Liang, > How can I disable or override libgcc from the command line? I think the option you're looking for may be "-nostdlib". At least, that will probably be part of the solution. Tim.