I have used sel4-tutorial branch earlier and was able to build and run earlier. I realized that my branch is way behind, so I have cloned the new branch into a separate folder and am compiling for zynq device. I get the following build error:

[apps/hello-1] building...

[HEADERS]

[STAGE] autoconf.h

[CC] src/main.o

[CC] src/util.o

[LINK] hello-1.elf

sel4tutorials/stage/arm/zynq7000/lib/libsel4.a: error adding symbols: Archive has no index; run ranlib to add one

collect2: error: ld returned 1 exit status

make[1]: *** [hello-1.elf] Error 1

make: *** [hello-1] Error 2

Is anyone else facing this issue? I am using arm-none-eabi-gcc for compiling.

Regards

Andrew