Dear Hesham
This is binutils information
2.26.1-1ubuntu1~16.04.4
Thanks
------------------ Original ------------------
From: "devel-request";<[email protected]>;
Date: Fri, Jun 2, 2017 08:56 AM
To: "devel"<[email protected]>;
Subject: Devel Digest, Vol 37, Issue 2
Send Devel mailing list submissions to
[email protected]
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
[email protected]
You can reach the person managing the list at
[email protected]
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
([email protected])
4. Re: Running multiple VMs under ARM and C++ under SeL4?
([email protected])
----------------------------------------------------------------------
Message: 1
Date: Thu, 1 Jun 2017 11:41:49 -0500
From: John Backes <[email protected]>
To: [email protected]
Subject: [seL4] Running multiple VMs under ARM and C++ under SeL4?
Message-ID:
<CAGzTpxHy_b+RWx33=xXv=vyeawrtte3no-s21hwhqtbx6zr...@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=?=" <[email protected]>
To: "=?ISO-8859-1?B?ZGV2ZWw=?=" <[email protected]>
Subject: [seL4] camkes-manifest project make failed for arm
Message-ID: <[email protected]>
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: <[email protected]>
To: <[email protected]>, <[email protected]>
Subject: Re: [seL4] camkes-manifest project make failed for arm
Message-ID: <[email protected]>
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 <[email protected]> on behalf of talos <[email protected]>
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: <[email protected]>
To: <[email protected]>, <[email protected]>
Subject: Re: [seL4] Running multiple VMs under ARM and C++ under SeL4?
Message-ID: <[email protected]>
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
[email protected]<mailto:[email protected]>
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
[email protected]
https://sel4.systems/lists/listinfo/devel
------------------------------
End of Devel Digest, Vol 37, Issue 2
************************************_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
