Which Linux distro are you using?
Debian
Which release version?
13 with backported kernel
Which kernel are you using?
6.19.6+deb13-amd64
Which BIOS version are you using?
03.18
Which Framework Laptop 13 model are you using? (AMD Ryzen™ AI 300 Series, AMD Ryzen™ 7040 Series, Intel® Core™ Ultra Series 1, 13th Gen Intel® Core™ , 12th Gen Intel® Core™, 11th Gen Intel® Core™)
FW13 7040-series
When I plug in a Thunderbolt 3 dock using a 80Gbps cable, nothing comes up either in boltctl or dmesg -w. This was also a problem before I switched to the Forky backported kernel, but was as far as I recall less of an issue with Bluefin.
I do get this though on boot:
[] ucsi_acpi USBC000:00: unknown error 0
[] ucsi_acpi USBC000:00: GET_CABLE_PROPERTY failed (-5)
Power can also cut out from the charger sometimes when using the machine, but I don’t know if this is in any way related (this occurs over multiple cables and USB wall adapters).
Cheers.