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.systems<mailto: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
************************************