+1 ! Cheers, Gerwin
> On 18 Mar 2020, at 23:30, Robin Randhawa <robin.randh...@arm.com> 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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
