On 21/03/18 09:18, JeffyChen wrote: > Hi Marc, > > On 03/21/2018 04:52 PM, Marc Zyngier wrote: >> Hi Jeffy, >> >> On 21/03/18 06:10, JeffyChen wrote: >>> Hi Shawn, >>> >>> On 03/21/2018 08:34 AM, Shawn Lin wrote: >>>> >>>> @Jeffy >>>> >>>> Could you help test Marc's latest patch on your RK3399 kevin/Gru or >>>> whatever Chromebook? >>> tested on my chromebook kevin, it works with that patch. >> >> This is very odd. It completely fails on mine, which is aannoying. >> Do you have any special firmware? Or the stock firmware? >> > > hmmm, my kevin's firmware is official: > localhost / # cat /var/log/bios_info.txt > version | Google_Kevin.8785.241.0 > ro bios version | Google_Kevin.8785.241.0 (booting into ChromeOS) Definitely not what I have on mine: 8785.220.0 as the runtime version, and 8785.94.7 as the RO one. This is a retail machine, bought in November. So what you have cannot be the stock firmware. What changes related to the GIC have been applied to this FW? Thanks, M. -- Jazz is not dead. It just smells funny...
