26 Jul
2018
26 Jul
'18
12:18 a.m.
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.
27 Jul
27 Jul
5:16 p.m.
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 <Elinor.Holm(a)gd-ms.com>
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
Devel(a)sel4.systems
https://sel4.systems/lists/listinfo/devel
--
regards,
Sathya
30 Jul
30 Jul
9:08 a.m.
Hi all,
As part of the kernel build process several intermediate files are created, for several
reasons: mainly because our verification toolchain currently requires the kernel as 1 C
file, and to support the bitfield generator, which generates the minimal code and proofs
for various data structures.
Take a look at CMakeLists.txt [1] to see where these files are generated and for more
context.
Thanks
Anna.
[1] https://github.com/seL4/seL4/blob/master/CMakeLists.txt
________________________________
From: Devel <devel-bounces(a)sel4.systems> on behalf of Sathya Narayanan N
<sathya281(a)gmail.com>
Sent: Friday, 27 July 2018 5:16 PM
To: Holm, Elinor M
Cc: devel(a)sel4.systems
Subject: Re: [seL4] Question about wrapper files
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
<Elinor.Holm@gd-ms.com<mailto:Elinor.Holm@gd-ms.com>> 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
Devel(a)sel4.systems
https://sel4.systems/lists/listinfo/devel
--
regards,
Sathya
1589
days inactive
1593
days old
2 comments
3 participants
participants (3)
-
Anna.Lyons＠data61.csiro.au -
Holm, Elinor M -
Sathya Narayanan N