Hi kofi, Thanks for your details. Its typo mistake. I supposed to ask for Tx1 only

Regards Munees

On 14 Nov 2017 8:41 a.m., Kofidoku.Atuah@data61.csiro.au wrote:

Hi Munees,

I'm sorry but the seL4 kernel doesn't support the TX2 board at all right now - so it neither supports SMP nor ARM-HYP on that board at all. If you're asking when the TX2 will be officially ported by the seL4 team, then the answer is probably, not anytime soon because we, internally, have no use case for the TX2: there is no project we are pursuing internally which involves the TX2 platform.

If you need to get seL4 running on the TX2, you might need to do a port on your own -- for the most part, the TX1 and TX2 should be fairly similar, but there will be differences, and those differences are where you'll need to do some extra work.

As for the TX1, we have a base AArch64 port of seL4, but no SMP or HYP mode extension support for the TX1 port.

To expand on Kofi’s point: we’re quite interested in AArch64 HYP and SMP, but we currently don’t have funding to do it, that’s why there isn’t a concrete plan yet.

If we can find that funding, these will definitely be on the roadmap.

Cheers, Gerwin

On 17 Nov 2017, at 10:46, Kofidoku.Atuah@data61.csiro.aumailto:Kofidoku.Atuah@data61.csiro.au wrote:

Hey Munees:

So the problem is that a Hyp implementation for our current Aarch64 TX1 port would require changes to support AArch64 hyp, and we don't have any internal use case for supporting that right now. As for AArch64 SMP, I'm not aware of any internal plans to work on that anytime soon; sorry.

-- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO

_______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel