Dear seL4 community members,
I am trying to use seL4bench project to evaluate on QEMU (x86 & arm).
I cloned the project source from:
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