+1 !
Cheers, Gerwin
On 18 Mar 2020, at 23:30, Robin Randhawa robin.randhawa@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