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.
[Enhancement] Auto-detect NVIDIA 580xx users & enforce DKMS + mkinitcpio MODULES during omarchy-update
Reported by lukejmorrison · filed Mar 1, 2026Closed upstream on 2026-07-18. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.
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
Enhancement request
After surviving the 3.4.x kernel bump (see #4781), the root cause was crystal clear:
- nvidia--utils installed but no -dkms package → mkinitcpio fails silently → emergency mode with /boot vfat unknown + missing modules.
Proposed fix (tiny & fully Oma-friendly):
- In omarchy-update: if any nvidia-*-utils is present, auto-run omarchy-pkg-install nvidia-*-dkms (or prompt).
- Auto-append the four modules (nvidia nvidia_modeset nvidia_uvm nvidia_drm) to MODULES=() in /etc/mkinitcpio.conf (with timestamped backup).
- Always force limine-mkinitcpio after any kernel change.
Zero breaking changes, respects existing hooks (omarchy_hooks.conf), and eliminates the #1 NVIDIA Pascal complaint.
Hardware example: Intel i7-5930K, ASUS X99-E, NVIDIA GTX 1070 Ti (580xx), LUKS/Btrfs/Limine.
My fix path (worked perfectly):
- omarchy-pkg-install nvidia-580xx-dkms
- Ensure MODULES line + limine-mkinitcpio
- Pre-update snapshot + reboot + omarchy-update
Happy to open a PR with the exact diff if wanted. Cross-ref: #4781 #4192 #3954.
View raw text
### Enhancement request After surviving the 3.4.x kernel bump (see #4781), the root cause was crystal clear: - nvidia-*-utils installed but no *-dkms package → mkinitcpio fails silently → emergency mode with /boot vfat unknown + missing modules. **Proposed fix (tiny & fully Oma-friendly):** - In `omarchy-update`: if any `nvidia-*-utils` is present, auto-run `omarchy-pkg-install nvidia-*-dkms` (or prompt). - Auto-append the four modules (`nvidia nvidia_modeset nvidia_uvm nvidia_drm`) to `MODULES=()` in /etc/mkinitcpio.conf (with timestamped backup). - Always force `limine-mkinitcpio` after any kernel change. Zero breaking changes, respects existing hooks (omarchy_hooks.conf), and eliminates the #1 NVIDIA Pascal complaint. **Hardware example:** Intel i7-5930K, ASUS X99-E, NVIDIA GTX 1070 Ti (580xx), LUKS/Btrfs/Limine. **My fix path** (worked perfectly): - `omarchy-pkg-install nvidia-580xx-dkms` - Ensure MODULES line + `limine-mkinitcpio` - Pre-update snapshot + reboot + `omarchy-update` Happy to open a PR with the exact diff if wanted. Cross-ref: #4781 #4192 #3954.
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.