Re: [seL4] Would verifying ARM64 be any more difficult than verifying ARM32 was?

+1 ! Cheers, Gerwin

On 18 Mar 2020, at 23:30, Robin Randhawa wrote:

On Tue, 2020-03-17 at 22:41 +0000, Heiser, Gernot (Data61, Kensington NSW) wrote:

...

We rather focus on getting Aarch64 funded, for which there is strong demand. (Arm, are you listening????)

:)

Can't speak for the whole of the mother-ship but some of us here are definitely listening!

Having more folks asking more openly for this should trend well...

Robin

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