Dear Hesham This is binutils information 2.26.1-1ubuntu1~16.04.4 Thanks
------------------ Original ------------------ From: "devel-request";devel-request@sel4.systems; Date: Fri, Jun 2, 2017 08:56 AM To: "devel"devel@sel4.systems;
Subject: Devel Digest, Vol 37, Issue 2
Send Devel mailing list submissions to devel@sel4.systems
To subscribe or unsubscribe via the World Wide Web, visit https://sel4.systems/lists/listinfo/devel or, via email, send a message with subject or body 'help' to devel-request@sel4.systems
You can reach the person managing the list at devel-owner@sel4.systems
When replying, please edit your Subject line so it is more specific than "Re: Contents of Devel digest..."
Today's Topics:
1. Running multiple VMs under ARM and C++ under SeL4? (John Backes) 2. camkes-manifest project make failed for arm (=?ISO-8859-1?B?dGFsb3M=?=) 3. Re: camkes-manifest project make failed for arm (Hesham.Almatary@data61.csiro.au) 4. Re: Running multiple VMs under ARM and C++ under SeL4? (Adrian.Danis@data61.csiro.au)
----------------------------------------------------------------------
Message: 1 Date: Thu, 1 Jun 2017 11:41:49 -0500 From: John Backes john.backes@gmail.com To: devel@sel4.systems Subject: [seL4] Running multiple VMs under ARM and C++ under SeL4? Message-ID: CAGzTpxHy_b+RWx33=xXv=vyEAwRttE3no-S21hwhqtBX6ZRG-w@mail.gmail.com Content-Type: text/plain; charset="utf-8"
Does the ARM VMM currently support running multiple virtual machines. Also, as a side question, how hard would it be to compile general C++ code that makes heavy use of the standard template library for use in a camkes component? I assume this would be non-trivial?
- John -------------- next part -------------- An HTML attachment was scrubbed... URL: http://sel4.systems/pipermail/devel/attachments/20170601/5de7f205/attachment-0001.html
------------------------------
Message: 2 Date: Fri, 2 Jun 2017 07:59:34 +0800 From: "=?ISO-8859-1?B?dGFsb3M=?=" 2486580938@qq.com To: "=?ISO-8859-1?B?ZGV2ZWw=?=" devel@sel4.systems Subject: [seL4] camkes-manifest project make failed for arm Message-ID: tencent_0DEA523F71A09CF508392575@qq.com Content-Type: text/plain; charset="iso-8859-1"
When I make the project, it said that: /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S: Assembler messages: /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:56: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:56: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:82: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:82: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:117: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:117: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:128: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:128: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:168: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:168: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:185: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:185: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:213: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:213: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/Makefile:653: recipe for target 'src/arch/arm/32/traps.o' failed make[1]: *** [src/arch/arm/32/traps.o] Error 1 tools/common/project.mk:258: recipe for target 'kernel_elf' failed make: *** [kernel_elf] Error 2
But I make successfully for x86 What's matter? Thanks! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://sel4.systems/pipermail/devel/attachments/20170602/a0e0e40f/attachment-0001.html
------------------------------
Message: 3 Date: Fri, 2 Jun 2017 00:41:15 +0000 From: Hesham.Almatary@data61.csiro.au To: 2486580938@qq.com, devel@sel4.systems Subject: Re: [seL4] camkes-manifest project make failed for arm Message-ID: 1496364075337.38653@data61.csiro.au Content-Type: text/plain; charset="iso-8859-1"
Hi Talos,
This might be because of this change [1] to the kernel. Since this change has passed on our local machines, I'd be interested to know which toolchain version are you using (specifically binutils)?
[1] https://github.com/seL4/seL4/commit/1930cf2e44908cb8faa5b315651bdb1958102f8f
Cheers,
Hesham
________________________________ From: Devel devel-bounces@sel4.systems on behalf of talos 2486580938@qq.com Sent: Friday, June 2, 2017 9:59 AM To: devel Subject: [seL4] camkes-manifest project make failed for arm
When I make the project, it said that: /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S: Assembler messages: /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:56: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:56: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:82: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:82: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:117: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:117: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:128: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:128: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:168: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:168: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:185: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:185: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:213: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:213: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/Makefile:653: recipe for target 'src/arch/arm/32/traps.o' failed make[1]: *** [src/arch/arm/32/traps.o] Error 1 tools/common/project.mk:258: recipe for target 'kernel_elf' failed make: *** [kernel_elf] Error 2
But I make successfully for x86 What's matter? Thanks! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://sel4.systems/pipermail/devel/attachments/20170602/516c7463/attachment-0001.html
------------------------------
Message: 4 Date: Fri, 2 Jun 2017 00:56:24 +0000 From: Adrian.Danis@data61.csiro.au To: john.backes@gmail.com, devel@sel4.systems Subject: Re: [seL4] Running multiple VMs under ARM and C++ under SeL4? Message-ID: ad050360-e6ef-eeb2-7130-dc66fb368f51@data61.csiro.au Content-Type: text/plain; charset="utf-8"
Hi John,
The ARM VMM does not currently support multiple virtual machines, this is something we are working on adding.
To properly use the C++ standard template library you would need to build a cross compiler for a CAmkES system based seL4 system. This is something we have never done. Whether this is trivial or not depends entirely upon whether you find building cross compilers trivial or not.
Adrian
On Fri 02-Jun-2017 2:41 AM, John Backes wrote: Does the ARM VMM currently support running multiple virtual machines. Also, as a side question, how hard would it be to compile general C++ code that makes heavy use of the standard template library for use in a camkes component? I assume this would be non-trivial?
- John
_______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-------------- next part -------------- An HTML attachment was scrubbed... URL: http://sel4.systems/pipermail/devel/attachments/20170602/c454560f/attachment.html
------------------------------
Subject: Digest Footer
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
------------------------------
End of Devel Digest, Vol 37, Issue 2 ************************************