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 there for testing, or something else?
This message and/or attachments may include information subject to GDC4S S.P. 1.8.6 and GD
Corporate Policy 07-105 and are intended to be accessed only by authorized recipients.
Use, storage and transmission are governed by General Dynamics and its policies.
Contractual restrictions apply to third parties. Recipients should refer to the policies
or contract to determine proper handling. Unauthorized review, use, disclosure or
distribution is prohibited. If you are not an intended recipient, please contact the
sender and destroy all copies of the original message.