Hi Elinor, >From my understanding of trying SEL4 on FPGA/Qemu. This is a folder that is created once you compile the sel4 project. Actually speaking, you need not worry about it. All these are generated files during compilation
On Wed, Jul 25, 2018 at 7:48 PM, Holm, Elinor M <[email protected]> wrote: > 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? > > > > > > Elinor Holm > > Software Engineer > > 781-410-5221 > > > > 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. > > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > > -- regards, Sathya
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
