“Behold, the man has become like one of us in knowing good and evil. Now, lest he reach out his hand and take also of the tree of life and eat, and live forever—”

This “One of US” reference was quite strong in the iRobot movie :)

The x86-cpuid-db project [1] heavily uses XSLT 3.0 through the “saxonche” PIP package.

It has worked amazingly well for us, and the generated files are already merged in the Linux Kernel.

[1] https://gitlab.com/x86-cpuid.org/x86-cpuid-db

Thank you! I've been looking for python support for XSLT 3.0! Not looking very hard, but this is still saved me some time!

Indeed. It also glitches like hell in case of any system load.

That's why PulseAudio and PipeWire run as real-time. Or they should.

Back when Pulse was new and I was running Gentoo I used to help other Gentoo users get their real-time settings correct. I believe we used rtprio in limits.conf. I don't recall when RTKit became a thing.

If your sound daemon is running as real-time and still missing deadlines then there's something wrong with your system hardware. Or I suppose, the sound source feeding the pulseaudio daemon is not getting enough CPU time.

I think they indeed should run at a (low) real-time priority, but only if they are limited to a fraction of total available CPU power, with say cgroups or similar.

Otherwise they can easily lock up the system, and that should not be the default configuration.