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
