Proof Portal

Sign in
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-2817GitHub issuePublicReceived

ISO not recognized as bootable media on 2012 iMac

Reported by MichaelTeeuw · filed Sep 9, 2025Closed upstream on 2025-09-09 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.

Open at source
Received and recorded verbatim. Nothing has been checked yet.

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

ISO not recognized as bootable media on 2012 iMacrevision 1 · captured 2026-10-04 11:35 UTC via poll

System details

2012 iMac - 3.1Ghz i7 - 16GB

What's wrong?

I’ve tried installing Omarchy 2 on an iMac (21.5-inch, late 2012). Unfortunately, the omarchy-online.iso is not recognized as bootable media by the Mac’s Startup Manager.

For comparison, a standard Arch Linux ISO written to USB with the same method is detected and boots without issue. This suggests the Omarchy image may not include the expected EFI fallback (e.g. /EFI/BOOT/BOOTX64.EFI) or has a layout that Apple’s firmware does not recognize.

Steps to reproduce:

  1. Download the latest Omarchy 2 ISO release.
  2. Flash to USB using balenaEtcher.
  3. Reboot the iMac and hold the Option (Alt) key.
  4. Observe that no bootable “EFI Boot” entry appears.

Expected result:

The Omarchy USB stick should appear as a boot option (like the stock Arch ISO does) and boot into the installer.

Actual result:

The iMac skips the Omarchy stick entirely and boots the internal disk.

Notes:

  • Machine: iMac 21.5”, late 2012 (Intel)
  • Stock Arch ISO works fine with the same procedure.
  • Seems specific to how the Omarchy ISO is structured for EFI.

Could you confirm whether the Omarchy ISO includes a proper EFI fallback (/EFI/BOOT/BOOTX64.EFI)?

View raw text
### System details

2012 iMac - 3.1Ghz i7 - 16GB

### What's wrong?

I’ve tried installing Omarchy 2 on an iMac (21.5-inch, late 2012). Unfortunately, the omarchy-online.iso is not recognized as bootable media by the Mac’s Startup Manager.

For comparison, a standard Arch Linux ISO written to USB with the same method is detected and boots without issue. This suggests the Omarchy image may not include the expected EFI fallback (e.g. /EFI/BOOT/BOOTX64.EFI) or has a layout that Apple’s firmware does not recognize.

### Steps to reproduce:
1. Download the latest Omarchy 2 ISO release.
2. Flash to USB using balenaEtcher.
3. Reboot the iMac and hold the Option (Alt) key.
4. Observe that no bootable “EFI Boot” entry appears.

### Expected result:
The Omarchy USB stick should appear as a boot option (like the stock Arch ISO does) and boot into the installer.

### Actual result:
The iMac skips the Omarchy stick entirely and boots the internal disk.

### Notes:

- Machine: iMac 21.5”, late 2012 (Intel)
- Stock Arch ISO works fine with the same procedure.
- Seems specific to how the Omarchy ISO is structured for EFI.

Could you confirm whether the Omarchy ISO includes a proper EFI fallback (/EFI/BOOT/BOOTX64.EFI)?

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.