For obtaining the assembly code I used eabi objdump, and for generating a more readable C pseudo code I used IDA Pro. Keep in mind that the pseudo code is just a reasonable guess.
Thank you for this information!
I was able to use the following command to extract the assembly code:
objdump -D --target binary -EL -Mforce-thumb -marm -z GX10_V16.bin > GX10_V16.bin.asm
Any chance you could explain how you got the pseudo code from IDA? I'm running the following version "ida_pro_v7.0_and_hex-rays_decompiler_armx64armx64x86." I'd like to compare all the firmware images against one another.