# seL4bench test giving error on QEMU **URL:** \ **Category:** Uncategorized\ **Created:** [September 23, 2024, 5:37am UTC](https://sel4.discourse.group/t/sel4bench-test-giving-error-on-qemu/901 "2024-09-23T05:37:44Z")\ **Posts on this page:** 1\ **Page:** 1
**Author:** ![Misbah](https://avatars.discourse-cdn.com/v4/letter/m/858c86/32.png) [@Misbah](https://sel4.discourse.group/u/Misbah)\ **Post date:** [September 23, 2024, 5:37am UTC](https://sel4.discourse.group/t/sel4bench-test-giving-error-on-qemu/901/1 "2024-09-23T05:37:44Z")
Dear seL4 community members, I am trying to use seL4bench project to evaluate on QEMU (x86 & arm). I cloned the project source from: > **[GitHub - seL4/sel4bench-manifest: Manifest of the seL4bench project, which contains...](https://github.com/seL4/sel4bench-manifest)** > > Manifest of the seL4bench project, which contains microbenchmarks for seL4. During compilation i get some warnings as: /\*\*\***/ ninja [183/258] Building C object apps/sel4bench/projects\_libs/libjansson/CMakeFiles/jansson.dir/jansson-2.7/src/load.c.obj /home/bmk2kor/seL4-simulation/sel4bench/projects/projects\_libs/libjansson/jansson-2.7/src/load.c: In function ‘error\_set’: /home/bmk2kor/seL4-simulation/sel4bench/projects/projects\_libs/libjansson/jansson-2.7/src/load.c:111:29: warning: ‘ near '’ directive output may be truncated writing 7 bytes into a region of size between 1 and 160 [-Wformat-truncation=] 111 | “%s near ‘%s’”, msg\_text, saved\_text); | ^ ~~~~~~ /home/bmk2kor/seL4-simulation/sel4bench/projects/projects\_libs/libjansson/jansson-2.7/src/load.c:110:17: note: ‘snprintf’ output 9 or more bytes (assuming 168) into a destination of size 160 110 | snprintf(msg\_with\_context, JSON\_ERROR\_TEXT\_LENGTH, | ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 111 | “%s near ‘%s’”, msg\_text, saved\_text); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/bmk2kor/seL4-simulation/sel4bench/projects/projects\_libs/libjansson/jansson-2.7/src/load.c:124:29: warning: ‘ near end of file’ directive output may be truncated writing 17 bytes into a region of size between 1 and 160 [-Wformat-truncation=] 124 | “%s near end of file”, msg\_text); | ^ ~~~~~~~~~~~~~~~~ /home/bmk2kor/seL4-simulation/sel4bench/projects/projects\_libs/libjansson/jansson-2.7/src/load.c:123:17: note: ‘snprintf’ output between 18 and 177 bytes into a destination of size 160 123 | snprintf(msg\_with\_context, JSON\_ERROR\_TEXT\_LENGTH, | ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 124 | “%s near end of file”, msg\_text); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [248/258] Building C object apps/sel4bench/CMakeFiles/sel4benchapp.dir/src/irq.c.obj /home/bmk2kor/seL4-simulation/sel4bench/projects/sel4bench/apps/sel4bench/src/irq.c: In function ‘process’: cc1: warning: ‘\_\_builtin\_memset’ writing between 8 and 17179869176 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=] [258/258] Generating …/…/images/sel4benchapp-image-x86\_64-pc99 /**/ During execution i am getting below error: ./simulate ./simulate: QEMU command: qemu-system-x86\_64 -cpu Haswell,-vme,+pdpe1gb,+xsave,+xsaveopt,-xsavec,+fsgsbase,+invpcid,+syscall,+lm,enforce -nographic -serial mon:stdio -m size=512M -kernel images/kernel-x86\_64-pc99 -initrd images/sel4benchapp-image-x86\_64-pc99 qemu-system-x86\_64: warning: TCG doesn’t support requested feature: CPUID.01H:ECX.fma [bit 12] qemu-system-x86\_64: warning: TCG doesn’t support requested feature: CPUID.01H:ECX.pcid [bit 17] qemu-system-x86\_64: warning: TCG doesn’t support requested feature: CPUID.01H:ECX.x2apic [bit 21] qemu-system-x86\_64: warning: TCG doesn’t support requested feature: CPUID.01H:ECX.tsc-deadline [bit 24] qemu-system-x86\_64: warning: TCG doesn’t support requested feature: CPUID.01H:ECX.avx [bit 28] qemu-system-x86\_64: warning: TCG doesn’t support requested feature: CPUID.01H:ECX.f16c [bit 29] qemu-system-x86\_64: warning: TCG doesn’t support requested feature: CPUID.07H:EBX.hle [bit 4] qemu-system-x86\_64: warning: TCG doesn’t support requested feature: CPUID.07H:EBX.avx2 [bit 5] qemu-system-x86\_64: warning: TCG doesn’t support requested feature: CPUID.07H:EBX.invpcid [bit 10] qemu-system-x86\_64: warning: TCG doesn’t support requested feature: CPUID.07H:EBX.rtm [bit 11] qemu-system-x86\_64: TCG doesn’t support requested features ./simulate: QEMU failed; resetting terminal in 5 seconds–interrupt to abort /-------------------------------------------------------------------------------------------------/ Can the community help us in resolving this issue and able to run seL4bench on QEMU Regards, Misbah