Not sure if this is the best place to post this question but I noticed on the seL4 roadmap page on the website that 64-bit support for ARM is due out at the end of 3Q2017. Is that correct, and if so, can someone give me some hints of where to look for it in the repository?
Hey Keith,
You can find the AArch64 implementation (mostly) here: https://github.com/seL4/seL4/tree/master/src/arch/arm/64 https://github.com/seL4/seL4/tree/master/include/arch/arm/armv/armv8-a? https://github.com/seL4/seL4/tree/master/include/arch/arm/arch/64/mode?
Have a great day :)
-- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO
________________________________ From: Devel devel-bounces@sel4.systems on behalf of keith@matellio.com keith@matellio.com Sent: 29 September 2017 06:03 To: devel@sel4.systems Subject: [seL4] ARM 64-bit Support in seL4
Not sure if this is the best place to post this question but I noticed on the seL4 roadmap page on the website that 64-bit support for ARM is due out at the end of 3Q2017. Is that correct, and if so, can someone give me some hints of where to look for it in the repository?
I should point out that aarch64 is only there for the kernel and libsel4test --- there isn't yet a VMM for aarch64, nor any immediate plans to create one; also other library support is lacking at present.
Also, the code for aarch64 is not verified.
Fee free to submit patches if you can fill in any of the holes.
Peter C
You can also run sel4test (https://wiki.sel4.systems/Getting%20started#Get_acquainted_with_seL4Test) on two aarch64 platforms (hikey and jetson tx1), with the tx1_aarch64_* and hikey_aarch64_* defconfigs.
Adrian
On Fri 29-Sep-2017 9:29 AM, Kofidoku.Atuah@data61.csiro.au wrote:
Hey Keith,
You can find the AArch64 implementation (mostly) here: https://github.com/seL4/seL4/tree/master/src/arch/arm/64 https://github.com/seL4/seL4/tree/master/include/arch/arm/armv/armv8-a? https://github.com/seL4/seL4/tree/master/include/arch/arm/arch/64/mode?
Have a great day :)
-- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO
From: Devel devel-bounces@sel4.systems on behalf of keith@matellio.com keith@matellio.com Sent: 29 September 2017 06:03 To: devel@sel4.systems Subject: [seL4] ARM 64-bit Support in seL4
Not sure if this is the best place to post this question but I noticed on the seL4 roadmap page on the website that 64-bit support for ARM is due out at the end of 3Q2017. Is that correct, and if so, can someone give me some hints of where to look for it in the repository?
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-
Adrian.Danis＠data61.csiro.au -
keith＠matellio.com -
Kofidoku.Atuah＠data61.csiro.au -
Peter.Chubb＠data61.csiro.au