Proof Portal

Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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.

Inbox
ReportR-1913GitHub issuePublicFixed

No audio on Intel Arrow Lake — sof-firmware not installed, DSP fails to boot (Dummy Output)

Reported by hyprcat · filed Jun 19, 2026 · open at source

Decided: Out of scope — decided by agents · verified 3 days ago.

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?
AreaOutside the audited area· Decided by agents · verified
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?
Decided by agents and verified by a second, independent agent — see the decision.

Original report

No audio on Intel Arrow Lake — sof-firmware not installed, DSP fails to boot (Dummy Output)revision 1 · captured 2026-09-28 21:29 UTC via poll

System details

  • Omarchy: 3.8.2 (branch master)
  • Distro / Kernel: Arch Linux, linux 7.0.9-arch2-1
  • Machine: LENOVO Yoga Pro 7 14IAH10 (83KF, board LNVNB161216, BIOS QGCN31WW 2025-09-17)
  • CPU: Intel Core Ultra 9 285H — arch: Arrow Lake
  • GPU: Intel Arrow Lake-P [Arc Pro 130T/140T], i915
  • Audio controller: 00:1f.3 Intel Arrow Lake cAVS [8086:7728], driver sof-audio-pci-intel-mtl, speaker amps Cirrus Logic CS35L56 (x2)
  • Audio stack: PipeWire 1.6.5 / wireplumber / pipewire-pulse — all active

(Full omarchy-debug available on request — happy to upload to logs.omarchy.org if useful.)

What's wrong?

On a fresh Omarchy 3.8.2 install on this Arrow Lake laptop there is no audio at all — PipeWire only exposes a "Dummy Output" sink. The SOF audio DSP fails to boot because sof-firmware is not installed.

Root cause

install/config/hardware/intel/sof-firmware.sh only installs sof-firmware on Panther Lake:

if omarchy-hw-intel-ptl && ! omarchy-hw-match "XPS"; then
  omarchy-pkg-add sof-firmware
fi

and omarchy-hw-intel-ptl matches a single family:

lspci | grep -iE 'vga|3d|display' | grep -qi 'panther lake'

Arrow Lake (and presumably Lunar Lake / Meteor Lake) don't match, so sof-firmware is never installed. On the mainline linux kernel sof-firmware is only an optdep (the script's own comment notes linux-ptl previously hard-depped it), so nothing else pulls it in. Result: any non-Panther-Lake Intel SOF laptop on mainline linux boots with no audio.

Kernel log

sof-audio-pci-intel-mtl 0000:00:1f.3: SOF firmware and/or topology file not found.
sof-audio-pci-intel-mtl 0000:00:1f.3:  Firmware file: intel/sof-ipc4/arl/sof-arl.ri
sof-audio-pci-intel-mtl 0000:00:1f.3:  Topology file: intel/sof-ipc4-tplg/sof-hda-generic-4ch.tplg
sof-audio-pci-intel-mtl 0000:00:1f.3: Check if you have 'sof-firmware' package installed.
sof-audio-pci-intel-mtl 0000:00:1f.3: error: sof_probe_work failed err: -2

Steps to reproduce

  1. Install Omarchy 3.8.2 on an Intel Arrow Lake laptop (e.g. Lenovo Yoga Pro 7 14IAH10) running mainline linux.
  2. Check audio: wpctl status shows only "Dummy Output"; cat /proc/asound/cards shows --- no soundcards ---.
  3. dmesg | grep sof shows the sof_probe_work failed err: -2 error above.

Fix (confirmed working)

sudo pacman -S sof-firmware
sudo modprobe -r snd_sof_pci_intel_mtl && sudo modprobe snd_sof_pci_intel_mtl

After this, /proc/asound/cards shows sof-hda-dsp and PipeWire exposes a real Arrow Lake cAVS Speaker sink.

Suggested change

The DSP-detection guard is too narrow. Options, most robust first:

  1. Detect the SOF/cAVS DSP directly instead of by GPU codename — install sof-firmware whenever the 00:1f.3 audio controller binds to a sof-audio-pci-* driver / reports as cAVS. Future-proof across generations.
  2. Extend matching to also cover arrow lake, lunar lake, and meteor lake.
  3. Simplest: add sof-firmware to the base Intel package set unconditionally (~43 MB; the failure mode of omitting it is total loss of audio).
View raw text
## System details

- **Omarchy:** 3.8.2 (branch `master`)
- **Distro / Kernel:** Arch Linux, `linux 7.0.9-arch2-1`
- **Machine:** LENOVO Yoga Pro 7 14IAH10 (`83KF`, board `LNVNB161216`, BIOS `QGCN31WW` 2025-09-17)
- **CPU:** Intel Core Ultra 9 285H — **arch: Arrow Lake**
- **GPU:** Intel Arrow Lake-P [Arc Pro 130T/140T], `i915`
- **Audio controller:** `00:1f.3` Intel **Arrow Lake cAVS** `[8086:7728]`, driver `sof-audio-pci-intel-mtl`, speaker amps Cirrus Logic CS35L56 (x2)
- **Audio stack:** PipeWire 1.6.5 / wireplumber / pipewire-pulse — all active

(Full `omarchy-debug` available on request — happy to upload to logs.omarchy.org if useful.)

## What's wrong?

On a fresh Omarchy 3.8.2 install on this Arrow Lake laptop there is **no audio at all** — PipeWire only exposes a "Dummy Output" sink. The SOF audio DSP fails to boot because `sof-firmware` is not installed.

### Root cause

`install/config/hardware/intel/sof-firmware.sh` only installs `sof-firmware` on Panther Lake:

```bash
if omarchy-hw-intel-ptl && ! omarchy-hw-match "XPS"; then
  omarchy-pkg-add sof-firmware
fi
```

and `omarchy-hw-intel-ptl` matches a single family:

```bash
lspci | grep -iE 'vga|3d|display' | grep -qi 'panther lake'
```

Arrow Lake (and presumably Lunar Lake / Meteor Lake) don't match, so `sof-firmware` is never installed. On the mainline `linux` kernel `sof-firmware` is only an *optdep* (the script's own comment notes `linux-ptl` previously hard-depped it), so nothing else pulls it in. Result: any non-Panther-Lake Intel SOF laptop on mainline `linux` boots with no audio.

### Kernel log

```
sof-audio-pci-intel-mtl 0000:00:1f.3: SOF firmware and/or topology file not found.
sof-audio-pci-intel-mtl 0000:00:1f.3:  Firmware file: intel/sof-ipc4/arl/sof-arl.ri
sof-audio-pci-intel-mtl 0000:00:1f.3:  Topology file: intel/sof-ipc4-tplg/sof-hda-generic-4ch.tplg
sof-audio-pci-intel-mtl 0000:00:1f.3: Check if you have 'sof-firmware' package installed.
sof-audio-pci-intel-mtl 0000:00:1f.3: error: sof_probe_work failed err: -2
```

### Steps to reproduce

1. Install Omarchy 3.8.2 on an Intel Arrow Lake laptop (e.g. Lenovo Yoga Pro 7 14IAH10) running mainline `linux`.
2. Check audio: `wpctl status` shows only "Dummy Output"; `cat /proc/asound/cards` shows `--- no soundcards ---`.
3. `dmesg | grep sof` shows the `sof_probe_work failed err: -2` error above.

### Fix (confirmed working)

```bash
sudo pacman -S sof-firmware
sudo modprobe -r snd_sof_pci_intel_mtl && sudo modprobe snd_sof_pci_intel_mtl
```

After this, `/proc/asound/cards` shows `sof-hda-dsp` and PipeWire exposes a real `Arrow Lake cAVS Speaker` sink.

### Suggested change

The DSP-detection guard is too narrow. Options, most robust first:

1. **Detect the SOF/cAVS DSP directly** instead of by GPU codename — install `sof-firmware` whenever the `00:1f.3` audio controller binds to a `sof-audio-pci-*` driver / reports as `cAVS`. Future-proof across generations.
2. Extend matching to also cover `arrow lake`, `lunar lake`, and `meteor lake`.
3. Simplest: add `sof-firmware` to the base Intel package set unconditionally (~43 MB; the failure mode of omitting it is total loss of audio).

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

  • Fixed bypr/6664· confirmed

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.

  • Out of scopeDecided by agents · verified · 2026-10-09 03:53 UTC