Phil Elwell

You should run `sudo vcdbg log msg` to look for messages from the firmware, and `vcgencmd version` to verify the firmware version number and confirm that the firmware is still...

Why set gpu_mem to 512? This is unlikely to improve anything, particularly on a 64-bit OS - try without that setting.

What is your module `make` command line? And the output of `uname -a`?

That Makefile doesn't make it obvious what the actual kernel make line would be. For example, does it include `ARCH=aarch64`? I suspect your problem might be that you are trying...

Have a read through this issue for some history: https://github.com/Hexxeh/rpi-firmware/issues/232 So far it seems like a problem in the CPUs that only appears before the caches are enabled. There is...

Oh good. Having just fixed an interesting I2C bug I was looking for another rabbit hole to disappear down.

If you draw the traditional 4-box diagram (showing all combinations of two binary variables) with upstream/downstream on one axis and Raspberry Pi/third-party on the other, this issue falls squarely into...

1. Is this a new issue? When did you first notice it? If you can narrow it down to a single firmware release that would help - see https://github.com/Hexxeh/rpi-firmware/commits/master for...

You had me worried there for a moment, but the overlay has been adjusted to work with serdev support enabled (by moving the clock node out of the `sc16is752@0` node).

The bthelper script, which is intended to support the built-in Bluetooth interface, actually seems to be run for all Bluetooth interfaces. Previously this must have been relatively harmless, but the...