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-3582GitHub issuePublicReceived

System freezes and intermittent reboots

Reported by crazed-developer · filed Oct 30, 2025Closed upstream on 2025-10-31. 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

System freezes and intermittent rebootsrevision 1 · captured 2026-10-04 11:42 UTC via poll

System details

intel NUC: NUC12WSH - 12/2023

What's wrong?

I experience System freezes, and sometimes reboots of the machine.

I'm not equipped to provide exactly what you need to debug the issue, but google recommended doing a connand like this: sudo journalctl -b

Content here:
~ ❯ sudo journalctl -b
[sudo] password for otto:
Oct 30 10:13:58 oma kernel: Linux version 6.17.5-arch1-1 (linux@archlinux) (gcc (GCC) 15.2.1 20250813, GNU ld (GNU Binutils) 2.45.0) #1 SMP PREEMPT_DYNAMIC Thu, 23 Oct 2025 18:49:03 +0000
Oct 30 10:13:58 oma kernel: Command line: quiet splash cryptdevice=PARTUUID=05e6b004-4d4c-4aae-96b4-6f7bedfaba74:root root=/dev/mapper/root zswap.enabled=0 rootflags=subvol=@ rw rootfstype=btrfs
Oct 30 10:13:58 oma kernel: x86/split lock detection: #AC: crashing the kernel on kernel split_locks and warning on user-space split_locks
Oct 30 10:13:58 oma kernel: BIOS-provided physical RAM map:
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000000000000-0x000000000009dfff] usable
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x000000000009e000-0x000000000009efff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x000000000009f000-0x000000000009ffff] usable
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000000a0000-0x00000000000fffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000000100000-0x000000004dd2efff] usable
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x000000004dd2f000-0x0000000056c5afff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000056c5b000-0x0000000056d33fff] ACPI data
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000056d34000-0x0000000056eb9fff] ACPI NVS
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000056eba000-0x000000005a7fefff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x000000005a7ff000-0x000000005a7fffff] usable
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x000000005a800000-0x00000000611fffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000061e00000-0x00000000687fffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000c0000000-0x00000000cfffffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000fe000000-0x00000000fe010fff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000fec00000-0x00000000fec00fff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000fed00000-0x00000000fed00fff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000fed20000-0x00000000fed7ffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000fee00000-0x00000000fee00fff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000ff000000-0x00000000ffffffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000100000000-0x00000008977fffff] usable
Oct 30 10:13:58 oma kernel: NX (Execute Disable) protection: active
Oct 30 10:13:58 oma kernel: APIC: Static calls initialized
Oct 30 10:13:58 oma kernel: efi: EFI v2.8 by American Megatrends
Oct 30 10:13:58 oma kernel: efi: ACPI=0x56e33000 ACPI 2.0=0x56e33014 TPMFinalLog=0x56d9f000 SMBIOS=0x5a483000 SMBIOS 3.0=0x5a482000 MEMATTR=0x4482e298 ESRT=0x45ff1e98 RNG=0x56c85f18 INITRD=0x43e69a98 TPMEventLog=0x56c81018
Oct 30 10:13:58 oma kernel: random: crng init done
Oct 30 10:13:58 oma kernel: efi: Remove mem73: MMIO range=[0xc0000000-0xcfffffff] (256MB) from e820 map
Oct 30 10:13:58 oma kernel: e820: remove [mem 0xc0000000-0xcfffffff] reserved
Oct 30 10:13:58 oma kernel: efi: Not removing mem74: MMIO range=[0xfe000000-0xfe010fff] (68KB) from e820 map
Oct 30 10:13:58 oma kernel: efi: Not removing mem75: MMIO range=[0xfec00000-0xfec00fff] (4KB) from e820 map
Oct 30 10:13:58 oma kernel: efi: Not removing mem76: MMIO range=[0xfed00000-0xfed00fff] (4KB) from e820 map
Oct 30 10:13:58 oma kernel: efi: Not removing mem78: MMIO range=[0xfee00000-0xfee00fff] (4KB) from e820 map
Oct 30 10:13:58 oma kernel: efi: Remove mem79: MMIO range=[0xff000000-0xffffffff] (16MB) from e820 map
Oct 30 10:13:58 oma kernel: e820: remove [mem 0xff000000-0xffffffff] reserved
Oct 30 10:13:58 oma kernel: SMBIOS 3.5.0 present.
Oct 30 10:13:58 oma kernel: DMI: Intel(R) Client Systems NUC12WSHi7/NUC12WSBi7, BIOS WSADL357.0086.2022.1103.1433 11/03/2022
Oct 30 10:13:58 oma kernel: DMI: Memory slots populated: 2/2
Oct 30 10:13:58 oma kernel: tsc: Detected 2500.000 MHz processor
Oct 30 10:13:58 oma kernel: tsc: Detected 2496.000 MHz TSC
Oct 30 10:13:58 oma kernel: e820: update [mem 0x00000000-0x00000fff] usable ==> reserved
Oct 30 10:13:58 oma kernel: e820: remove [mem 0x000a0000-0x000fffff] usable
Oct 30 10:13:58 oma kernel: last_pfn = 0x897800 max_arch_pfn = 0x400000000
Oct 30 10:13:58 oma kernel: MTRR map: 5 entries (3 fixed + 2 variable; max 23), built from 10 variable MTRRs
Oct 30 10:13:58 oma kernel: x86/PAT: Configuration [0-7]: WB WC UC- UC WB WP UC- WT
Oct 30 10:13:58 oma kernel: last_pfn = 0x5a800 max_arch_pfn = 0x400000000
Oct 30 10:13:58 oma kernel: esrt: Reserving ESRT space from 0x0000000045ff1e98 to 0x0000000045ff1f98.
Oct 30 10:13:58 oma kernel: e820: update [mem 0x45ff1000-0x45ff1fff] usable ==> reserved
Oct 30 10:13:58 oma kernel: Using GB pages for direct mapping
Oct 30 10:13:58 oma kernel: Secure boot disabled
Oct 30 10:13:58 oma kernel: RAMDISK: [mem 0x3f685000-0x4128bfff]
Oct 30 10:13:58 oma kernel: ACPI: Early table checksum verification disabled
Oct 30 10:13:58 oma kernel: ACPI: RSDP 0x0000000056E33014 000024 (v02 INTEL )
Oct 30 10:13:58 oma kernel: ACPI: XSDT 0x0000000056DCF728 00011C (v01 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: FACP 0x0000000056D31000 000114 (v06 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: DSDT 0x0000000056CC4000 06CECF (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: FACS 0x0000000056EB7000 000040
Oct 30 10:13:58 oma kernel: ACPI: FIDT 0x0000000056CC3000 00009C (v01 INTEL NUCxi7A5 00000056 AMI 00010013)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056D33000 00038C (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CBD000 005D2C (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CBA000 002AA1 (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CB6000 0033D3 (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CA8000 00D39F (v02 INTEL NUCxi7A5 00001000 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: HPET 0x0000000056D32000 000038 (v01 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: APIC 0x0000000056CA7000 0001DC (v05 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: MCFG 0x0000000056CA6000 00003C (v01 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CA4000 001F04 (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CA2000 001DFD (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: UEFI 0x0000000056D86000 000048 (v01 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: NHLT 0x0000000056CA1000 0002F1 (v00 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: LPIT 0x0000000056CA0000 0000CC (v01 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: WDAT 0x0000000056C9E000 000134 (v01 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C9B000 002A83 (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C98000 002357 (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: DBGP 0x0000000056C97000 000034 (v01 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: DBG2 0x0000000056C96000 000054 (v00 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: DMAR 0x0000000056C95000 000088 (v02 INTEL NUCxi7A5 00000056 01000013)
Oct 30 10:13:58 oma kernel: ACPI: FPDT 0x0000000056C94000 000044 (v01 INTEL NUCxi7A5 00000056 AMI 01000013)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C93000 000D56 (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C8F000 003AEA (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C8B000 0035A2 (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C8A000 000144 (v02 INTEL NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: BGRT 0x0000000056C89000 000038 (v01 INTEL NUCxi7A5 00000056 AMI 00010013)
Oct 30 10:13:58 oma kernel: ACPI: TPM2 0x0000000056C88000 00004C (v04 INTEL NUCxi7A5 00000056 AMI 00000000)
Oct 30 10:13:58 oma kernel: ACPI: BERT 0x0000000056C87000 000030 (v01 INTEL NUCxi7A5 00000056 INTL 00000001)
Oct 30 10:13:58 oma kernel: ACPI: PHAT 0x0000000056C86000 00062D (v01 INTEL NUCxi7A5 00000056 MSFT 0100000D)
Oct 30 10:13:58 oma kernel: ACPI: WSMT 0x0000000056C9F000 000028 (v01 INTEL NUCxi7A5 00000056 AMI 00010013)
Oct 30 10:13:58 oma kernel: ACPI: Reserving FACP table memory at [mem 0x56d31000-0x56d31113]
Oct 30 10:13:58 oma kernel: ACPI: Reserving DSDT table memory at [mem 0x56cc4000-0x56d30ece]
Oct 30 10:13:58 oma kernel: ACPI: Reserving FACS table memory at [mem 0x56eb7000-0x56eb703f]
Oct 30 10:13:58 oma kernel: ACPI: Reserving FIDT table memory at [mem 0x56cc3000-0x56cc309b]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56d33000-0x56d3338b]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56cbd000-0x56cc2d2b]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56cba000-0x56cbcaa0]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56cb6000-0x56cb93d2]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56ca8000-0x56cb539e]
Oct 30 10:13:58 oma kernel: ACPI: Reserving HPET table memory at [mem 0x56d32000-0x56d32037]
Oct 30 10:13:58 oma kernel: ACPI: Reserving APIC table memory at [mem 0x56ca7000-0x56ca71db]
Oct 30 10:13:58 oma kernel: ACPI: Reserving MCFG table memory at [mem 0x56ca6000-0x56ca603b]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56ca4000-0x56ca5f03]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56ca2000-0x56ca3dfc]
Oct 30 10:13:58 oma kernel: ACPI: Reserving UEFI table memory at [mem 0x56d86000-0x56d86047]
Oct 30 10:13:58 oma kernel: ACPI: Reserving NHLT table memory at [mem 0x56ca1000-0x56ca12f0]
Oct 30 10:13:58 oma kernel: ACPI: Reserving LPIT table memory at [mem 0x56ca0000-0x56ca00cb]
Oct 30 10:13:58 oma kernel: ACPI: Reserving WDAT table memory at [mem 0x56c9e000-0x56c9e133]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c9b000-0x56c9da82]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c98000-0x56c9a356]
Oct 30 10:13:58 oma kernel: ACPI: Reserving DBGP table memory at [mem 0x56c97000-0x56c97033]
Oct 30 10:13:58 oma kernel: ACPI: Reserving DBG2 table memory at [mem 0x56c96000-0x56c96053]
Oct 30 10:13:58 oma kernel: ACPI: Reserving DMAR table memory at [mem 0x56c95000-0x56c95087]
Oct 30 10:13:58 oma kernel: ACPI: Reserving FPDT table memory at [mem 0x56c94000-0x56c94043]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c93000-0x56c93d55]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c8f000-0x56c92ae9]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c8b000-0x56c8e5a1]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c8a000-0x56c8a143]
Oct 30 10:13:58 oma kernel: ACPI: Reserving BGRT table memory at [mem 0x56c89000-0x56c89037]
Oct 30 10:13:58 oma kernel: ACPI: Reserving TPM2 table memory at [mem 0x56c88000-0x56c8804b]
Oct 30 10:13:58 oma kernel: ACPI: Reserving BERT table memory at [mem 0x56c87000-0x56c8702f]
Oct 30 10:13:58 oma kernel: ACPI: Reserving PHAT table memory at [mem 0x56c86000-0x56c8662c]
Oct 30 10:13:58 oma kernel: ACPI: Reserving WSMT table memory at [mem 0x56c9f000-0x56c9f027]
Oct 30 10:13:58 oma kernel: No NUMA configuration found
Oct 30 10:13:58 oma kernel: Faking a node at [mem 0x0000000000000000-0x00000008977fffff]
Oct 30 10:13:58 oma kernel: NODE_DATA(0) allocated [mem 0x8977d52c0-0x8977fffff]
Oct 30 10:13:58 oma kernel: Zone ranges:
Oct 30 10:13:58 oma kernel: DMA [mem 0x0000000000001000-0x0000000000ffffff]
Oct 30 10:13:58 oma kernel: DMA32 [mem 0x0000000001000000-0x00000000ffffffff]
Oct 30 10:13:58 oma kernel: Normal [mem 0x0000000100000000-0x00000008977fffff]
Oct 30 10:13:58 oma kernel: Device empty
Oct 30 10:13:58 oma kernel: Movable zone start for each node
Oct 30 10:13:58 oma kernel: Early memory node ranges
Oct 30 10:13:58 oma kernel: node 0: [mem 0x0000000000001000-0x000000000009dfff]
Oct 30 10:13:58 oma kernel: node 0: [mem 0x000000000009f000-0x000000000009ffff]
Oct 30 10:13:58 oma kernel: node 0: [mem 0x0000000000100000-0x000000004dd2efff]
Oct 30 10:13:58 oma kernel: node 0: [mem 0x000000005a7ff000-0x000000005a7fffff]
Oct 30 10:13:58 oma kernel: node 0: [mem 0x0000000100000000-0x00000008977fffff]
Oct 30 10:13:58 oma kernel: Initmem setup node 0 [mem 0x0000000000001000-0x00000008977fffff]
lines 1-138

View raw text
### System details

intel NUC: NUC12WSH - 12/2023

### What's wrong?

I experience System freezes, and sometimes reboots of the machine. 

I'm not equipped to provide exactly what you need to debug the issue, but google recommended doing a connand like this: sudo journalctl -b

Content here:
~ ❯ sudo journalctl -b
[sudo] password for otto:
Oct 30 10:13:58 oma kernel: Linux version 6.17.5-arch1-1 (linux@archlinux) (gcc (GCC) 15.2.1 20250813, GNU ld (GNU Binutils) 2.45.0) #1 SMP PREEMPT_DYNAMIC Thu, 23 Oct 2025 18:49:03 +0000
Oct 30 10:13:58 oma kernel: Command line: quiet splash cryptdevice=PARTUUID=05e6b004-4d4c-4aae-96b4-6f7bedfaba74:root root=/dev/mapper/root zswap.enabled=0 rootflags=subvol=@ rw rootfstype=btrfs
Oct 30 10:13:58 oma kernel: x86/split lock detection: #AC: crashing the kernel on kernel split_locks and warning on user-space split_locks
Oct 30 10:13:58 oma kernel: BIOS-provided physical RAM map:
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000000000000-0x000000000009dfff] usable
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x000000000009e000-0x000000000009efff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x000000000009f000-0x000000000009ffff] usable
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000000a0000-0x00000000000fffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000000100000-0x000000004dd2efff] usable
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x000000004dd2f000-0x0000000056c5afff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000056c5b000-0x0000000056d33fff] ACPI data
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000056d34000-0x0000000056eb9fff] ACPI NVS
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000056eba000-0x000000005a7fefff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x000000005a7ff000-0x000000005a7fffff] usable
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x000000005a800000-0x00000000611fffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000061e00000-0x00000000687fffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000c0000000-0x00000000cfffffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000fe000000-0x00000000fe010fff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000fec00000-0x00000000fec00fff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000fed00000-0x00000000fed00fff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000fed20000-0x00000000fed7ffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000fee00000-0x00000000fee00fff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x00000000ff000000-0x00000000ffffffff] reserved
Oct 30 10:13:58 oma kernel: BIOS-e820: [mem 0x0000000100000000-0x00000008977fffff] usable
Oct 30 10:13:58 oma kernel: NX (Execute Disable) protection: active
Oct 30 10:13:58 oma kernel: APIC: Static calls initialized
Oct 30 10:13:58 oma kernel: efi: EFI v2.8 by American Megatrends
Oct 30 10:13:58 oma kernel: efi: ACPI=0x56e33000 ACPI 2.0=0x56e33014 TPMFinalLog=0x56d9f000 SMBIOS=0x5a483000 SMBIOS 3.0=0x5a482000 MEMATTR=0x4482e298 ESRT=0x45ff1e98 RNG=0x56c85f18 INITRD=0x43e69a98 TPMEventLog=0x56c81018
Oct 30 10:13:58 oma kernel: random: crng init done
Oct 30 10:13:58 oma kernel: efi: Remove mem73: MMIO range=[0xc0000000-0xcfffffff] (256MB) from e820 map
Oct 30 10:13:58 oma kernel: e820: remove [mem 0xc0000000-0xcfffffff] reserved
Oct 30 10:13:58 oma kernel: efi: Not removing mem74: MMIO range=[0xfe000000-0xfe010fff] (68KB) from e820 map
Oct 30 10:13:58 oma kernel: efi: Not removing mem75: MMIO range=[0xfec00000-0xfec00fff] (4KB) from e820 map
Oct 30 10:13:58 oma kernel: efi: Not removing mem76: MMIO range=[0xfed00000-0xfed00fff] (4KB) from e820 map
Oct 30 10:13:58 oma kernel: efi: Not removing mem78: MMIO range=[0xfee00000-0xfee00fff] (4KB) from e820 map
Oct 30 10:13:58 oma kernel: efi: Remove mem79: MMIO range=[0xff000000-0xffffffff] (16MB) from e820 map
Oct 30 10:13:58 oma kernel: e820: remove [mem 0xff000000-0xffffffff] reserved
Oct 30 10:13:58 oma kernel: SMBIOS 3.5.0 present.
Oct 30 10:13:58 oma kernel: DMI: Intel(R) Client Systems NUC12WSHi7/NUC12WSBi7, BIOS WSADL357.0086.2022.1103.1433 11/03/2022
Oct 30 10:13:58 oma kernel: DMI: Memory slots populated: 2/2
Oct 30 10:13:58 oma kernel: tsc: Detected 2500.000 MHz processor
Oct 30 10:13:58 oma kernel: tsc: Detected 2496.000 MHz TSC
Oct 30 10:13:58 oma kernel: e820: update [mem 0x00000000-0x00000fff] usable ==> reserved
Oct 30 10:13:58 oma kernel: e820: remove [mem 0x000a0000-0x000fffff] usable
Oct 30 10:13:58 oma kernel: last_pfn = 0x897800 max_arch_pfn = 0x400000000
Oct 30 10:13:58 oma kernel: MTRR map: 5 entries (3 fixed + 2 variable; max 23), built from 10 variable MTRRs
Oct 30 10:13:58 oma kernel: x86/PAT: Configuration [0-7]: WB  WC  UC- UC  WB  WP  UC- WT
Oct 30 10:13:58 oma kernel: last_pfn = 0x5a800 max_arch_pfn = 0x400000000
Oct 30 10:13:58 oma kernel: esrt: Reserving ESRT space from 0x0000000045ff1e98 to 0x0000000045ff1f98.
Oct 30 10:13:58 oma kernel: e820: update [mem 0x45ff1000-0x45ff1fff] usable ==> reserved
Oct 30 10:13:58 oma kernel: Using GB pages for direct mapping
Oct 30 10:13:58 oma kernel: Secure boot disabled
Oct 30 10:13:58 oma kernel: RAMDISK: [mem 0x3f685000-0x4128bfff]
Oct 30 10:13:58 oma kernel: ACPI: Early table checksum verification disabled
Oct 30 10:13:58 oma kernel: ACPI: RSDP 0x0000000056E33014 000024 (v02 INTEL )
Oct 30 10:13:58 oma kernel: ACPI: XSDT 0x0000000056DCF728 00011C (v01 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: FACP 0x0000000056D31000 000114 (v06 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: DSDT 0x0000000056CC4000 06CECF (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: FACS 0x0000000056EB7000 000040
Oct 30 10:13:58 oma kernel: ACPI: FIDT 0x0000000056CC3000 00009C (v01 INTEL  NUCxi7A5 00000056 AMI  00010013)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056D33000 00038C (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CBD000 005D2C (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CBA000 002AA1 (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CB6000 0033D3 (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CA8000 00D39F (v02 INTEL  NUCxi7A5 00001000 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: HPET 0x0000000056D32000 000038 (v01 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: APIC 0x0000000056CA7000 0001DC (v05 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: MCFG 0x0000000056CA6000 00003C (v01 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CA4000 001F04 (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056CA2000 001DFD (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: UEFI 0x0000000056D86000 000048 (v01 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: NHLT 0x0000000056CA1000 0002F1 (v00 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: LPIT 0x0000000056CA0000 0000CC (v01 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: WDAT 0x0000000056C9E000 000134 (v01 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C9B000 002A83 (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C98000 002357 (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: DBGP 0x0000000056C97000 000034 (v01 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: DBG2 0x0000000056C96000 000054 (v00 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: DMAR 0x0000000056C95000 000088 (v02 INTEL  NUCxi7A5 00000056      01000013)
Oct 30 10:13:58 oma kernel: ACPI: FPDT 0x0000000056C94000 000044 (v01 INTEL  NUCxi7A5 00000056 AMI  01000013)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C93000 000D56 (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C8F000 003AEA (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C8B000 0035A2 (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: SSDT 0x0000000056C8A000 000144 (v02 INTEL  NUCxi7A5 00000056 INTL 20200717)
Oct 30 10:13:58 oma kernel: ACPI: BGRT 0x0000000056C89000 000038 (v01 INTEL  NUCxi7A5 00000056 AMI  00010013)
Oct 30 10:13:58 oma kernel: ACPI: TPM2 0x0000000056C88000 00004C (v04 INTEL  NUCxi7A5 00000056 AMI  00000000)
Oct 30 10:13:58 oma kernel: ACPI: BERT 0x0000000056C87000 000030 (v01 INTEL  NUCxi7A5 00000056 INTL 00000001)
Oct 30 10:13:58 oma kernel: ACPI: PHAT 0x0000000056C86000 00062D (v01 INTEL  NUCxi7A5 00000056 MSFT 0100000D)
Oct 30 10:13:58 oma kernel: ACPI: WSMT 0x0000000056C9F000 000028 (v01 INTEL  NUCxi7A5 00000056 AMI  00010013)
Oct 30 10:13:58 oma kernel: ACPI: Reserving FACP table memory at [mem 0x56d31000-0x56d31113]
Oct 30 10:13:58 oma kernel: ACPI: Reserving DSDT table memory at [mem 0x56cc4000-0x56d30ece]
Oct 30 10:13:58 oma kernel: ACPI: Reserving FACS table memory at [mem 0x56eb7000-0x56eb703f]
Oct 30 10:13:58 oma kernel: ACPI: Reserving FIDT table memory at [mem 0x56cc3000-0x56cc309b]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56d33000-0x56d3338b]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56cbd000-0x56cc2d2b]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56cba000-0x56cbcaa0]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56cb6000-0x56cb93d2]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56ca8000-0x56cb539e]
Oct 30 10:13:58 oma kernel: ACPI: Reserving HPET table memory at [mem 0x56d32000-0x56d32037]
Oct 30 10:13:58 oma kernel: ACPI: Reserving APIC table memory at [mem 0x56ca7000-0x56ca71db]
Oct 30 10:13:58 oma kernel: ACPI: Reserving MCFG table memory at [mem 0x56ca6000-0x56ca603b]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56ca4000-0x56ca5f03]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56ca2000-0x56ca3dfc]
Oct 30 10:13:58 oma kernel: ACPI: Reserving UEFI table memory at [mem 0x56d86000-0x56d86047]
Oct 30 10:13:58 oma kernel: ACPI: Reserving NHLT table memory at [mem 0x56ca1000-0x56ca12f0]
Oct 30 10:13:58 oma kernel: ACPI: Reserving LPIT table memory at [mem 0x56ca0000-0x56ca00cb]
Oct 30 10:13:58 oma kernel: ACPI: Reserving WDAT table memory at [mem 0x56c9e000-0x56c9e133]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c9b000-0x56c9da82]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c98000-0x56c9a356]
Oct 30 10:13:58 oma kernel: ACPI: Reserving DBGP table memory at [mem 0x56c97000-0x56c97033]
Oct 30 10:13:58 oma kernel: ACPI: Reserving DBG2 table memory at [mem 0x56c96000-0x56c96053]
Oct 30 10:13:58 oma kernel: ACPI: Reserving DMAR table memory at [mem 0x56c95000-0x56c95087]
Oct 30 10:13:58 oma kernel: ACPI: Reserving FPDT table memory at [mem 0x56c94000-0x56c94043]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c93000-0x56c93d55]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c8f000-0x56c92ae9]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c8b000-0x56c8e5a1]
Oct 30 10:13:58 oma kernel: ACPI: Reserving SSDT table memory at [mem 0x56c8a000-0x56c8a143]
Oct 30 10:13:58 oma kernel: ACPI: Reserving BGRT table memory at [mem 0x56c89000-0x56c89037]
Oct 30 10:13:58 oma kernel: ACPI: Reserving TPM2 table memory at [mem 0x56c88000-0x56c8804b]
Oct 30 10:13:58 oma kernel: ACPI: Reserving BERT table memory at [mem 0x56c87000-0x56c8702f]
Oct 30 10:13:58 oma kernel: ACPI: Reserving PHAT table memory at [mem 0x56c86000-0x56c8662c]
Oct 30 10:13:58 oma kernel: ACPI: Reserving WSMT table memory at [mem 0x56c9f000-0x56c9f027]
Oct 30 10:13:58 oma kernel: No NUMA configuration found
Oct 30 10:13:58 oma kernel: Faking a node at [mem 0x0000000000000000-0x00000008977fffff]
Oct 30 10:13:58 oma kernel: NODE_DATA(0) allocated [mem 0x8977d52c0-0x8977fffff]
Oct 30 10:13:58 oma kernel: Zone ranges:
Oct 30 10:13:58 oma kernel:   DMA      [mem 0x0000000000001000-0x0000000000ffffff]
Oct 30 10:13:58 oma kernel:   DMA32    [mem 0x0000000001000000-0x00000000ffffffff]
Oct 30 10:13:58 oma kernel:   Normal   [mem 0x0000000100000000-0x00000008977fffff]
Oct 30 10:13:58 oma kernel:   Device   empty
Oct 30 10:13:58 oma kernel: Movable zone start for each node
Oct 30 10:13:58 oma kernel: Early memory node ranges
Oct 30 10:13:58 oma kernel:   node   0: [mem 0x0000000000001000-0x000000000009dfff]
Oct 30 10:13:58 oma kernel:   node   0: [mem 0x000000000009f000-0x000000000009ffff]
Oct 30 10:13:58 oma kernel:   node   0: [mem 0x0000000000100000-0x000000004dd2efff]
Oct 30 10:13:58 oma kernel:   node   0: [mem 0x000000005a7ff000-0x000000005a7fffff]
Oct 30 10:13:58 oma kernel:   node   0: [mem 0x0000000100000000-0x00000008977fffff]
Oct 30 10:13:58 oma kernel: Initmem setup node 0 [mem 0x0000000000001000-0x00000008977fffff]
lines 1-138

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.