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.