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?
Show replies by date