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 <[email protected]> on behalf of [email protected] <[email protected]> Sent: 29 September 2017 06:03 To: [email protected] 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 [email protected] https://sel4.systems/lists/listinfo/devel
