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