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-667GitHub issuePublicDecided· Out of scope

BUG: Omarchy v4.0.4 does not detect eMMC as an installation drive

Reported by matcarfer · filed Sep 11, 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

BUG: Omarchy v4.0.4 does not detect eMMC as an installation driverevision 1 · captured 2026-09-28 21:23 UTC via poll

System details

Tronsmart Ara X5 Plus (Atom x5-Z8300 Cherry Trail + 2GB DDR3L + 32GB eMMC)

What's wrong?

BUG: Omarchy v4.0.4 does not detect eMMC as an installation drive

Description

On Omarchy v4.0.4, the internal eMMC storage is not detected by the installer on the first boot.

The eMMC is completely functional, but it does not appear as an available installation drive when running the Omarchy installer.

The system is booted from a USB drive, and the affected device is an internal 29.1 GB eMMC.

Hardware / Environment

  • Omarchy: v4.032
  • Booting from: USB
  • Internal storage: 29.1 GB eMMC
  • eMMC partitions:
  • mmcblk2p1 — 256 MB
  • mmcblk2p2 — 28.9 GB

Symptoms

Initially, lsblk only showed the USB/SATA devices and no /dev/mmcblk* device.

dmesg showed the SDHCI controllers being detected, but the eMMC was not initialized:

mmc1: SDHCI controller on ACPI [80860F14:02] using ADMA
mmc2: SDHCI controller on ACPI [80860F14:00] using ADMA
mmc0: SDHCI controller on ACPI [80860F14:03] using ADMA
mmc2: new HS200 MMC card at address 0001
mmc1: Failed to initialize a non-removable card

After manually loading the required kernel modules and triggering udev:

modprobe mmc_block
modprobe sdhci
modprobe sdhci_acpi
udevadm trigger
udevadm settle

the eMMC appeared correctly:

mmcblk2       29.1G
├─mmcblk2p1    256M
└─mmcblk2p2   28.9G

At that point, running:

./automated_script.sh

allowed the installer to detect mmcblk2 as the installation drive.

Expected behavior

The eMMC should be initialized and detected automatically during the live environment boot, and mmcblk2 should be available as an installation target without requiring manual modprobe/udevadm commands.

Actual behavior

The eMMC is missing from the available installation drives until the following commands are run manually:

modprobe mmc_block
modprobe sdhci
modprobe sdhci_acpi
udevadm trigger
udevadm settle

Additional information

This appears to be an initialization issue rather than a hardware problem, since the eMMC is detected correctly after manually loading the modules and can then be used by the installer.

I also tested several commands while troubleshooting; screenshots are attached showing the troubleshooting process and the successful detection of the eMMC.

This would be great to have fixed in a future release so that eMMC devices are detected automatically by the installer.

View raw text
### System details

Tronsmart Ara X5 Plus (Atom x5-Z8300 Cherry Trail + 2GB DDR3L + 32GB eMMC)

### What's wrong?

# BUG: Omarchy v4.0.4 does not detect eMMC as an installation drive

### Description

On **Omarchy v4.0.4**, the internal eMMC storage is not detected by the installer on the first boot.

The eMMC is completely functional, but it does not appear as an available installation drive when running the Omarchy installer.

The system is booted from a USB drive, and the affected device is an internal **29.1 GB eMMC**.

### Hardware / Environment

* Omarchy: **v4.032**
* Booting from: USB
* Internal storage: **29.1 GB eMMC**
* eMMC partitions:

  * `mmcblk2p1` — 256 MB
  * `mmcblk2p2` — 28.9 GB

### Symptoms

Initially, `lsblk` only showed the USB/SATA devices and no `/dev/mmcblk*` device.

`dmesg` showed the SDHCI controllers being detected, but the eMMC was not initialized:

```text
mmc1: SDHCI controller on ACPI [80860F14:02] using ADMA
mmc2: SDHCI controller on ACPI [80860F14:00] using ADMA
mmc0: SDHCI controller on ACPI [80860F14:03] using ADMA
mmc2: new HS200 MMC card at address 0001
mmc1: Failed to initialize a non-removable card
```

After manually loading the required kernel modules and triggering udev:

```bash
modprobe mmc_block
modprobe sdhci
modprobe sdhci_acpi
udevadm trigger
udevadm settle
```

the eMMC appeared correctly:

```text
mmcblk2       29.1G
├─mmcblk2p1    256M
└─mmcblk2p2   28.9G
```

At that point, running:

```bash
./automated_script.sh
```

allowed the installer to detect `mmcblk2` as the installation drive.

### Expected behavior

The eMMC should be initialized and detected automatically during the live environment boot, and `mmcblk2` should be available as an installation target without requiring manual `modprobe`/`udevadm` commands.

### Actual behavior

The eMMC is missing from the available installation drives until the following commands are run manually:

```bash
modprobe mmc_block
modprobe sdhci
modprobe sdhci_acpi
udevadm trigger
udevadm settle
```

### Additional information

This appears to be an initialization issue rather than a hardware problem, since the eMMC is detected correctly after manually loading the modules and can then be used by the installer.

I also tested several commands while troubleshooting; screenshots are attached showing the troubleshooting process and the successful detection of the eMMC.

**This would be great to have fixed in a future release so that eMMC devices are detected automatically by the installer.**

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.

  • Out of scopeDecided by agents · verified · 2026-10-09 11:56 UTC