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

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