Andrew Scheller

By "SDK reference" do you mean https://datasheets.raspberrypi.com/pico/raspberry-pi-pico-c-sdk.pdf ? Note that the function documentation in that PDF is automatically generated from the Doxygen comments (that you've mentioned above) in the SDK...

As a pure guess, maybe this is to accommodate [host builds](https://github.com/raspberrypi/pico-sdk/tree/develop/src/host) of Pico applications, which are likely to be 64-bit? 🤷

@6by9 Does this count as a Linux bug? (if so, could you transfer it please?) @szygmunt I've never used an IR transmitter or receiver with my Pi, but is it...

@szygmunt I'm not able to provide any additional help myself, but in preparation for help from somebody more knowledgeable than me, it'd probably be helpful if you could provide information...

> Does adding "quiet" to cmdline.txt help? I tried that already, and adding "quiet" seems to stop the splashscreen appearing at all! (see also https://github.com/raspberrypi/rpi-splash-screen-support/commit/1b72b4c90b8c15a28e25bc63dafe04cec50f7c11 ~which isn't yet in the...

The version of `rpi-splash-screen-support` in the Trixie repo has now been updated, so I've updated my reproduction-steps accordingly.

> Does `console=tty2` change anything? It changes the behaviour slightly, but not in a useful way - the kernel messages still get written over the top of the splash-screen, but...

I was initially confused by this report of "access tags being missing", so I checked and they _are_ present on the field-level, just not at any higher-levels. @atanasuzunov I guess...

Nope, I don't think so. And it should probably be reassigned to @andygpz11 as I believe he's looking after the SVD-generation code now?

Reassigning to @matiasilva as I think he might have been looking at the SVD stuff most recently?