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.
Upgrade issues on older CPU
Reported by richard-sistern · filed Feb 8, 2026Closed upstream on 2026-02-22 by ryanrhughes, as a duplicate of #4554 (R-4105). GitHub close reason: completed.
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
Omarchy 3.3.3 (Linux 6.18.3-arch1-1) on Intel(R) Core(TM) i5-3210M
What's wrong?
Hi,
Trying up upgrade Omarchy but running into some issues with the following:
`(13/30) Deploying Limine after upgrade...
The current machine does not support all of the following CPU features that are required by the image: [CX8, CMOV, FXSR, MMX, SSE, SSE2, SSE3, SSSE3, SSE4_1, SSE4_2, POPCNT, LZCNT, AVX, AVX2, BMI1, BMI2, FMA, F16C].
Please rebuild the executable with an appropriate setting of the -march option.
Please rebuild the executable with an appropriate setting of the -march option.
error: command failed to execute correctly
(14/30) Clean Limine boot entries of removed kernels
(15/30) Updating linux initcpios...
Building UKI for linux (6.18.7-arch1-1)
The current machine does not support all of the following CPU features that are required by the image: [CX8, CMOV, FXSR, MMX, SSE, SSE2, SSE3, SSSE3, SSE4_1, SSE4_2, POPCNT, LZCNT, AVX, AVX2, BMI1, BMI2, FMA, F16C].
Please rebuild the executable with an appropriate setting of the -march option.ERROR: failed to get kernel cmdline for 'linux'.`...
`Non-stopping errors detected during update:
error: command failed to execute correctly
Please rebuild the executable with an appropriate setting of the -march option.ERROR: failed to get kernel cmdline for 'linux'.
Non-stopping errors detected during update:
Error: Initramfs generation may have failed. Review logs before restart.`
Anyone know how to resolve this or is this a good excuse to treat myself to something more modern :)
Further info
<img width="558" height="357" alt="Image" src="https://github.com/user-attachments/assets/1e429926-9cd8-40ec-bfa2-0ec828cb2545" />
View raw text
### System details Omarchy 3.3.3 (Linux 6.18.3-arch1-1) on Intel(R) Core(TM) i5-3210M ### What's wrong? Hi, Trying up upgrade Omarchy but running into some issues with the following: `(13/30) Deploying Limine after upgrade... The current machine does not support all of the following CPU features that are required by the image: [CX8, CMOV, FXSR, MMX, SSE, SSE2, SSE3, SSSE3, SSE4_1, SSE4_2, POPCNT, LZCNT, AVX, AVX2, BMI1, BMI2, FMA, F16C]. Please rebuild the executable with an appropriate setting of the -march option. Please rebuild the executable with an appropriate setting of the -march option. error: command failed to execute correctly (14/30) Clean Limine boot entries of removed kernels (15/30) Updating linux initcpios... Building UKI for linux (6.18.7-arch1-1) The current machine does not support all of the following CPU features that are required by the image: [CX8, CMOV, FXSR, MMX, SSE, SSE2, SSE3, SSSE3, SSE4_1, SSE4_2, POPCNT, LZCNT, AVX, AVX2, BMI1, BMI2, FMA, F16C]. Please rebuild the executable with an appropriate setting of the -march option.ERROR: failed to get kernel cmdline for 'linux'.` `...` `Non-stopping errors detected during update: error: command failed to execute correctly Please rebuild the executable with an appropriate setting of the -march option.ERROR: failed to get kernel cmdline for 'linux'. Non-stopping errors detected during update: Error: Initramfs generation may have failed. Review logs before restart.` Anyone know how to resolve this or is this a good excuse to treat myself to something more modern :) **Further info** <img width="558" height="357" alt="Image" src="https://github.com/user-attachments/assets/1e429926-9cd8-40ec-bfa2-0ec828cb2545" /> [limine_conf.txt](https://github.com/user-attachments/files/25163200/limine_conf.txt) [limine_default.txt](https://github.com/user-attachments/files/25163206/limine_default.txt)
- limine_conf.txt
- limine_default.txt
- 1e429926-9cd8-40ec-bfa2-0ec828cb2545
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.