Hi Amit, Unfortunately I cannot reproduce this problem myself. Can you provide your version of GCC, binutils and qemu (note that make simulate-ia32 calls qemu-system-i386). For myself I am testing with gcc (Ubuntu 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609 GNU ld (GNU Binutils for Ubuntu) 2.26.1 QEMU emulator version 2.5.0 (Debian 1:2.5+dfsg-5ubuntu10.24) Adrian On Wed 11-Apr-2018 1:46 AM, Amit Goyal wrote: > Hi Kofi, > > I am getting the attached error (Error Log.txt) while running > seL4test. Earlier it > used to run perfectly fine. > > I am running the following commands: > $ repo init -u https://github.com/seL4/sel4test-manifest.git > $ repo sync > $ make clean > $ make ia32_simulation_release_xml_defconfig > $ make -j libmuslc && make > $ make simulate-ia32 > > Can you please look into this. > > > > _______________________________________________ > Devel mailing list > Devel(a)sel4.systems > https://sel4.systems/lists/listinfo/devel >