I built sel4test using the init-build.sh command with –DPLATFORM=x86_64 and –DSIMULATION=TRUE and then ran ninja. I’m using QEMU as my emulator.

Within the build directory I created, there’s a kernel directory. In that directory, there are a bunch of C files with names that include “wrapper.” For instance, there’s a file named kernel_all_pp_prune_wrapper_temp.c. I’m having trouble understanding what the wrapper files do. Are they for testing, or something else?

Elinor Holm