Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA proof layer — requirements, tests and verified fixes — for two of Omarchy's subsystems: the application menu (launcher scripts, QML model, JSONC config, search and selection) and the lock screen (lock scripts, QML, PAM authentication). Scope is deliberately limited to those components of omacom/omarchy; the rest of the distribution is not covered.
Dell XPS 13 DX13260 (1028:0e53): no sound at all after dell-xps13-sidecar-amps workaround — CS35L56 firmware never downloads despite blobs being present
Reported by MBvisti · filed Sep 6, 2026Closed upstream on 2026-09-21 by bjarneo via an automated message, as a duplicate of #9687 (R-1081). GitHub close reason: completed.
At a glance
- 1 · What is claimed?
- Only the report text below — no validator has restated it as checkable claims yet.
- 2 · What does it affect?
- Not yet mapped to any requirement or component.
- 3 · Is it reproducible?
- No validation has been run yet.
- 4 · What remains unclear?
- Not validated yet: no claims, no reproducer.
- 5 · What happens next?
- Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.
Original report
System details
- Dell XPS 13 DX13260 (Wildcat Lake), DMI product SKU
0E53, audio subsystem1028:0e53 - Omarchy 4.0.2-1 (stable channel)
- linux
7.1.9.arch1-2 dell-xps13-sidecar-amps1.0.0-2(the workaround merged in omacom/omarchy-pkgs#150)- linux-firmware-cirrus
20260810-2 - limine-mkinitcpio-hook 1.37.1-1, mkinitcpio 41.1-1
What's wrong?
After installing the official dell-xps13-sidecar-amps workaround (options snd_soc_sof_sdw quirk=65536) and rebooting, the internal speakers produce no sound at all. Before the workaround I had the "thin, no-bass" tweeter-only output described in #7427; after it, complete silence from the sof-soundwire Speaker sink (sink present, default, unmuted, volume 1.00).
Steps to reproduce:
- Install the edge package
dell-xps13-sidecar-amps(drops/usr/lib/modprobe.d/dell-xps13-sidecar-amps.confwithquirk=65536) and reboot. - Play audio to the
sof-soundwire Speakersink (card 0, device 2). - Result: no output at all; both CS35L56 amps bind but never download their tuning firmware.
Kernel log (boot after the workaround):
cs35l56 spi-cs35l56-left: Cirrus Logic CS35L56 Rev B2 OTP1 fw:4.2.1 (patched=0)
cs35l56 spi-cs35l56-right: Cirrus Logic CS35L56 Rev B2 OTP1 fw:4.2.1 (patched=0)
...
cs35l56 spi-cs35l56-left: DSP1: Firmware: 1a00d6 vendor: 0x2 v4.2.1, 42 algorithms
cs35l56 spi-cs35l56-right: DSP1: Firmware: 1a00d6 vendor: 0x2 v4.2.1, 42 algorithms
cs35l56 spi-cs35l56-left: FIRMWARE_MISSING
cs35l56 spi-cs35l56-left: Calibration disabled due to missing firmware controls
cs35l56 spi-cs35l56-left: Can't read tuning IDs
cs35l56 spi-cs35l56-right: FIRMWARE_MISSING
cs35l56 spi-cs35l56-right: Calibration disabled due to missing firmware controls
cs35l56 spi-cs35l56-right: Can't read tuning IDsThe firmware the driver should load is present on this system, so this is not the "blobs missing" case:
/usr/lib/firmware/cirrus/cs35l56-b2-dsp1-misc-10280e53-spkid1.wmfw.zst
/usr/lib/firmware/cirrus/cs35l56-b2-dsp1-misc-10280e53-spkid1-ampl.bin.zst
/usr/lib/firmware/cirrus/cs35l56-b2-dsp1-misc-10280e53-spkid1-ampr.bin.zst
(also spkid2 and spkid3 variants; package: linux-firmware-cirrus 20260810-2)Yet the driver never reports loading cs35l56-b2-dsp1-misc-10280e53-*.wmfw (no DSP1: cirrus/...wmfw: line in the log), the DSP1 firmware line still shows the OTP v4.2.1 instead of the 0e53 wmfw's v4.5.9, and the amps end up muted. Compare the expected/validated result in #7427 (7.1.8):
cs35l56 spi-cs35l56-right: DSP1: cirrus/cs35l56-b2-dsp1-misc-10280e53-spkid1.wmfw: format 3 timestamp 0x68d1a788
cs35l56 spi-cs35l56-right: DSP1: Firmware: 1a01d6 vendor: 0x2 v4.5.9, 42 algorithms
...
cs35l56 spi-cs35l56-right: DSP1: cirrus/cs35l56-b2-dsp1-misc-10280e53-spkid1-ampr.bin (v1): v4.5.9
...
cs35l56 spi-cs35l56-right: Calibration applied
cs35l56 spi-cs35l56-right: Tuning PID: 0x112481, SID: 0x352112, TID: 0x342200Observations / hunches:
- Hardware enablement (amps binding,
quirk=65536taking effect) works exactly as in #7032 / omarchy-pkgs#150. The failure is that the CS35L56 driver does not download the present per-SKU firmware on this kernel. - The validated test in #7427 was on
7.1.8; this machine runs7.1.9.arch1-2. Worth checking thecs35l56/sof_sdwdelta between 7.1.8 and 7.1.9 (including the DellSSIDExV2/spkid selection logic, and whether the requested firmware name now includes a suffix such asspkid0or a variant that has no matching file). - Per the Cirrus docs, on this topology (CS42L43 on SoundWire → CS35L56 on SPI) the amps are mute until their wmfw is downloaded, and the CS35L56 DSP also serves as the crossover — so a firmware-load failure produces total silence, not just missing bass. That matches the symptom.
Since quirk=65536 only enables hardware that then cannot finish firmware download, the packaged workaround is effectively unusable on this configuration. Happy to run further diagnostics (full omarchy-debug requires an interactive TTY/sudo, which I don't have in this session) or test the same kernel-level checks on 7.1.8 to confirm whether this is a 7.1.9 regression.
View raw text
### System details - Dell XPS 13 DX13260 (Wildcat Lake), DMI product SKU `0E53`, audio subsystem `1028:0e53` - Omarchy 4.0.2-1 (stable channel) - linux `7.1.9.arch1-2` - `dell-xps13-sidecar-amps` `1.0.0-2` (the workaround merged in omacom/omarchy-pkgs#150) - linux-firmware-cirrus `20260810-2` - limine-mkinitcpio-hook 1.37.1-1, mkinitcpio 41.1-1 ### What's wrong? After installing the official `dell-xps13-sidecar-amps` workaround (`options snd_soc_sof_sdw quirk=65536`) and rebooting, the internal speakers produce **no sound at all**. Before the workaround I had the "thin, no-bass" tweeter-only output described in #7427; after it, complete silence from the `sof-soundwire Speaker` sink (sink present, default, unmuted, volume 1.00). Steps to reproduce: 1. Install the edge package `dell-xps13-sidecar-amps` (drops `/usr/lib/modprobe.d/dell-xps13-sidecar-amps.conf` with `quirk=65536`) and reboot. 2. Play audio to the `sof-soundwire Speaker` sink (card 0, device 2). 3. Result: no output at all; both CS35L56 amps bind but never download their tuning firmware. Kernel log (boot after the workaround): ``` cs35l56 spi-cs35l56-left: Cirrus Logic CS35L56 Rev B2 OTP1 fw:4.2.1 (patched=0) cs35l56 spi-cs35l56-right: Cirrus Logic CS35L56 Rev B2 OTP1 fw:4.2.1 (patched=0) ... cs35l56 spi-cs35l56-left: DSP1: Firmware: 1a00d6 vendor: 0x2 v4.2.1, 42 algorithms cs35l56 spi-cs35l56-right: DSP1: Firmware: 1a00d6 vendor: 0x2 v4.2.1, 42 algorithms cs35l56 spi-cs35l56-left: FIRMWARE_MISSING cs35l56 spi-cs35l56-left: Calibration disabled due to missing firmware controls cs35l56 spi-cs35l56-left: Can't read tuning IDs cs35l56 spi-cs35l56-right: FIRMWARE_MISSING cs35l56 spi-cs35l56-right: Calibration disabled due to missing firmware controls cs35l56 spi-cs35l56-right: Can't read tuning IDs ``` The firmware the driver should load **is present** on this system, so this is not the "blobs missing" case: ``` /usr/lib/firmware/cirrus/cs35l56-b2-dsp1-misc-10280e53-spkid1.wmfw.zst /usr/lib/firmware/cirrus/cs35l56-b2-dsp1-misc-10280e53-spkid1-ampl.bin.zst /usr/lib/firmware/cirrus/cs35l56-b2-dsp1-misc-10280e53-spkid1-ampr.bin.zst (also spkid2 and spkid3 variants; package: linux-firmware-cirrus 20260810-2) ``` Yet the driver never reports loading `cs35l56-b2-dsp1-misc-10280e53-*.wmfw` (no `DSP1: cirrus/...wmfw:` line in the log), the `DSP1` firmware line still shows the OTP `v4.2.1` instead of the 0e53 wmfw's `v4.5.9`, and the amps end up muted. Compare the expected/validated result in #7427 (7.1.8): ``` cs35l56 spi-cs35l56-right: DSP1: cirrus/cs35l56-b2-dsp1-misc-10280e53-spkid1.wmfw: format 3 timestamp 0x68d1a788 cs35l56 spi-cs35l56-right: DSP1: Firmware: 1a01d6 vendor: 0x2 v4.5.9, 42 algorithms ... cs35l56 spi-cs35l56-right: DSP1: cirrus/cs35l56-b2-dsp1-misc-10280e53-spkid1-ampr.bin (v1): v4.5.9 ... cs35l56 spi-cs35l56-right: Calibration applied cs35l56 spi-cs35l56-right: Tuning PID: 0x112481, SID: 0x352112, TID: 0x342200 ``` Observations / hunches: - Hardware enablement (amps binding, `quirk=65536` taking effect) works exactly as in #7032 / omarchy-pkgs#150. The failure is that the CS35L56 driver does not download the present per-SKU firmware on this kernel. - The validated test in #7427 was on `7.1.8`; this machine runs `7.1.9.arch1-2`. Worth checking the `cs35l56`/`sof_sdw` delta between 7.1.8 and 7.1.9 (including the Dell `SSIDExV2`/spkid selection logic, and whether the requested firmware name now includes a suffix such as `spkid0` or a variant that has no matching file). - Per the Cirrus docs, on this topology (CS42L43 on SoundWire → CS35L56 on SPI) the amps are mute until their wmfw is downloaded, and the CS35L56 DSP also serves as the crossover — so a firmware-load failure produces total silence, not just missing bass. That matches the symptom. Since `quirk=65536` only enables hardware that then cannot finish firmware download, the packaged workaround is effectively unusable on this configuration. Happy to run further diagnostics (full `omarchy-debug` requires an interactive TTY/sudo, which I don't have in this session) or test the same kernel-level checks on 7.1.8 to confirm whether this is a 7.1.9 regression.
Validation
Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.
Linked
Not linked to any known issue, other report or change yet.
Decision
Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.
No decision has been recorded yet.