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, [email protected] 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 <[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 > _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
