-
This change doesn't actually do any identifier renaming in the sources -- just renames the output binary to "armsoc_drv.so" for now.
1c8161d8
This change doesn't actually do any identifier renaming in the sources -- just renames the output binary to "armsoc_drv.so" for now.