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.
MSI Titan GT77HX: Missing laptop-specific driver optimizations (RGB removed)
Reported by andyholst · filed Sep 12, 2026Closed upstream on 2026-09-15 by its own reporter andyholst, as a duplicate of #11583 (R-629). GitHub close reason: duplicate.
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
Summary
Omarchy handles generic Intel + NVIDIA laptop hardware well, but MSI gaming/workstation laptops like the Titan GT77HX 13VI have vendor-specific components that need dedicated drivers:
- Ethernet driver conflict (
r8169+r8125both loaded) - No Embedded Controller (EC) access for fan modes, charge thresholds, shift modes
- No GUI fan control
- No NVIDIA-settings for GPU monitoring/tuning
thermaldrunning whencoolercontrolshould manage thermals instead- No X11 config for NVIDIA DPMS/backlight control
r8125-dkmsnot in install script
RGB Removed from Scope
Previous versions included RGB config creation for msi-perkeyrgb. The Titan GT77HX 13VI uses a Cherry MX Ultra Low Profile mechanical keyboard, which msi-perkeyrgb does not support. The tool executes without error but has no effect. RGB support has been removed from the PR. Users who want RGB control may need to use SteelSeries GG on Windows or other tools not yet available on Linux.
Hardware
MSI Titan GT77HX 13VI
| Component | Device | Current State |
|---|---|---|
| CPU | Intel i9-13980HX | Works (generic Intel drivers) |
| dGPU | NVIDIA RTX 4090 Laptop (AD103M) | Works (nvidia-open-dkms) |
| iGPU | Intel UHD (Raptor-Lake-S) | Works |
| Ethernet | Killer E3000 / RTL8125B 2.5GbE | r8169 loaded, r8125-dkms installed but conflicted |
| WiFi | Intel Wi-Fi 6E (CNVi) | Works (iwlwifi built-in) |
| EC | MSI Embedded Controller | msi-ec-dkms-git installed but no Omarchy integration |
| Fans | MSI Cooler Boost | No control daemon running |
| Keyboard | Cherry MX SteelSeries per-key RGB | No Linux control available |
Proposed Fix
Add MSI-specific hardware detection and driver installation:
- `bin/omarchy-hw-msi` — detect MSI laptop vendor and product family
- `install/hardware/msi.sh` — install and configure:
r8125-dkms(blacklistr8169)msi-ec-dkms-gitcoolercontrol(+ enablecoolercontrold)nvidia-settings- Disable
thermaldwhencoolercontrolis installed - X11 NVIDIA DPMS config
- Set battery charge thresholds 60/80
- Wire into
install/hardware/all.sh
Why This Matters
The MSI Titan is a flagship 13th Gen Intel + RTX 4090 laptop. Without these drivers:
- Fans run at default curves — loud under load, hot on idle
- No way to switch performance profiles without rebooting into BIOS
- Ethernet may drop under sustained transfer
- No GPU monitoring without terminal tools
- Battery health not preserved by charge thresholds
View raw text
## Summary Omarchy handles generic Intel + NVIDIA laptop hardware well, but MSI gaming/workstation laptops like the Titan GT77HX 13VI have vendor-specific components that need dedicated drivers: - Ethernet driver conflict (`r8169` + `r8125` both loaded) - No Embedded Controller (EC) access for fan modes, charge thresholds, shift modes - No GUI fan control - No NVIDIA-settings for GPU monitoring/tuning - `thermald` running when `coolercontrol` should manage thermals instead - No X11 config for NVIDIA DPMS/backlight control - `r8125-dkms` not in install script ## RGB Removed from Scope Previous versions included RGB config creation for `msi-perkeyrgb`. The Titan GT77HX 13VI uses a Cherry MX Ultra Low Profile mechanical keyboard, which `msi-perkeyrgb` does not support. The tool executes without error but has no effect. RGB support has been removed from the PR. Users who want RGB control may need to use SteelSeries GG on Windows or other tools not yet available on Linux. ## Hardware **MSI Titan GT77HX 13VI** | Component | Device | Current State | |-----------|--------|---------------| | CPU | Intel i9-13980HX | Works (generic Intel drivers) | | dGPU | NVIDIA RTX 4090 Laptop (AD103M) | Works (nvidia-open-dkms) | | iGPU | Intel UHD (Raptor-Lake-S) | Works | | Ethernet | Killer E3000 / RTL8125B 2.5GbE | `r8169` loaded, `r8125-dkms` installed but conflicted | | WiFi | Intel Wi-Fi 6E (CNVi) | Works (iwlwifi built-in) | | EC | MSI Embedded Controller | `msi-ec-dkms-git` installed but no Omarchy integration | | Fans | MSI Cooler Boost | No control daemon running | | Keyboard | Cherry MX SteelSeries per-key RGB | No Linux control available | ## Proposed Fix Add MSI-specific hardware detection and driver installation: 1. **`bin/omarchy-hw-msi`** — detect MSI laptop vendor and product family 2. **`install/hardware/msi.sh`** — install and configure: - `r8125-dkms` (blacklist `r8169`) - `msi-ec-dkms-git` - `coolercontrol` (+ enable `coolercontrold`) - `nvidia-settings` - Disable `thermald` when `coolercontrol` is installed - X11 NVIDIA DPMS config - Set battery charge thresholds 60/80 3. Wire into `install/hardware/all.sh` ## Why This Matters The MSI Titan is a flagship 13th Gen Intel + RTX 4090 laptop. Without these drivers: - Fans run at default curves — loud under load, hot on idle - No way to switch performance profiles without rebooting into BIOS - Ethernet may drop under sustained transfer - No GPU monitoring without terminal tools - Battery health not preserved by charge thresholds
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.