seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Investigate VMM issues with GCC8.4 at "-o3"

Open axel-h opened this issue 2 years ago • 0 comments

Follow-up from commit 0f9286df3394d9273e4c8223594d252d582f98c4 of https://github.com/seL4/seL4_projects_libs/pull/16 for libsel4vm/src/arch/x86/guest_x86_context.c:

/* Under release mode, this file will get built using -O3. Howerver on gcc 8.4,
 * the -O3 optimisation level is too aggressive and causes issues for the guest
 * VM. Hence, instead of using -O3 we use -O2 to avoid the issue. */

axel-h avatar Sep 28 '22 19:09 axel-h