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.
exFAT support missing: drives won’t mount, kernel module and tools absent
Reported by sauryagur · filed Oct 4, 2025Closed upstream on 2026-02-01 by dhh. 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
System details
11th Gen Intel(R) Core(TM) i3-1115G4 (4) @ 4.10 GHz, Omarchy v3.0.2, Linux 6.16.8-arch3-1
What's wrong?
I cannot mount any exFAT-formatted drives using either GUI or CLI.
modprobe exfatfails:
modprobe: FATAL: Module exfat not found in directory /lib/modules/6.16.8-arch3-1
* /proc/filesystems does not list exfat.
* mount.exfat and exfatprogs commands are missing.
* Drives mount fine on Fedora and Windows on the same hardware.
* System freshly installed from official Omarchy ISO v3.2.
Steps to reproduce
- Plug in exFAT-formatted USB drive.
- Try to mount via GUI or
mount -t exfat /dev/sdX1 /mnt. - See failure / no mount.
- Check for kernel module:
modprobe exfat→ fails. - Check for tools:
which mount.exfatandwhich exfatprogs→ not found.
Expected behavior
- Kernel exFAT module should be present and loadable.
- exfatprogs tools should be installed and accessible.
- Mounting exFAT drives should work out of the box.
Additional info
This appears to be missing kernel module and user-space tools in the Omarchy ISO build or installation. Please include exFAT support for seamless USB drive mounting.
View raw text
### System details 11th Gen Intel(R) Core(TM) i3-1115G4 (4) @ 4.10 GHz, Omarchy v3.0.2, Linux 6.16.8-arch3-1 ### What's wrong? I cannot mount any exFAT-formatted drives using either GUI or CLI. * `modprobe exfat` fails: `modprobe: FATAL: Module exfat not found in directory /lib/modules/6.16.8-arch3-1` * `/proc/filesystems` does not list exfat. * `mount.exfat` and `exfatprogs` commands are missing. * Drives mount fine on Fedora and Windows on the same hardware. * System freshly installed from official Omarchy ISO v3.2. ### Steps to reproduce 1. Plug in exFAT-formatted USB drive. 2. Try to mount via GUI or `mount -t exfat /dev/sdX1 /mnt`. 3. See failure / no mount. 4. Check for kernel module: `modprobe exfat` → fails. 5. Check for tools: `which mount.exfat` and `which exfatprogs` → not found. ### Expected behavior * Kernel exFAT module should be present and loadable. * exfatprogs tools should be installed and accessible. * Mounting exFAT drives should work out of the box. ### Additional info This appears to be missing kernel module and user-space tools in the Omarchy ISO build or installation. Please include exFAT support for seamless USB drive mounting.
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.