Hi Marc, On 03/21/2018 05:33 PM, Marc Zyngier 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? i tried to flash my firmware back to 8785.220.0, and still works...: localhost tmp # head -2 /var/log/bios_info.txt version | Google_Kevin.8785.220.0 ro bios version | Google_Kevin.8785.220.0 dmesg: https://emailattachment.net/sites/default/files/files/public/dmesg.dmesg firmware 8785.220.0: https://emailattachment.net/sites/default/files/files/public/image.dev.bin > > Thanks, > > M. > -- Jazz is not dead. It just smells funny...