vasilito/RedBear-OS
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update ACPI-FIXES.md and AGENTS.md for P0 ACPI completion

Browse Source 
ACPI-FIXES.md: Add MADT entry types table (0x0-0xA), update all tables to reflect 17 kernel fixes and 9 userspace fixes, mark crash reports resolved, add compile-time assertions note. Document FADT full parse, power methods, shutdown/reboot.

AGENTS.md: Mark ACPI as Complete in Bare Metal Boot Status table with 4 new rows (shutdown, reboot, power). Strike through P0 in Phased Roadmap. Update Critical Path to show P0 DONE.

Ultraworked with [Sisyphus](https://github.com/code-yeongyu/oh-my-openagent)

Co-authored-by: Sisyphus <clio-agent@sisyphuslabs.ai>
This commit is contained in:
Vasilito
2026-04-12 22:22:19 +01:00
parent 9288b1a448
commit ca13795f06
2 changed files with 85 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files
AGENTS.md
+9 -6
View File
@@ -216,7 +216,10 @@ See `local/docs/AMD-FIRST-INTEGRATION.md` for the full plan.
|-----------|--------|--------| |-----------|--------|--------|
| UEFI boot | ✅ | x86_64 bootloader functional | | UEFI boot | ✅ | x86_64 bootloader functional |
| AMD CPUs | ✅ | Ryzen Threadripper 128-thread verified | | AMD CPUs | ✅ | Ryzen Threadripper 128-thread verified |
| ACPI | ⚠️ Incomplete | Framework AMD 7040 crashes on unimplemented function | | ACPI | ✅ Complete | RSDP/SDT checksums, MADT types 0x4/0x5/0x9/0xA, LVT NMI, FADT shutdown/reboot |
| ACPI shutdown | ✅ | PM1a/PM1b S5 via `\_S5` AML |
| ACPI reboot | ✅ | Reset register + keyboard controller fallback |
| ACPI power | ✅ | `\_PS0`/`\_PS3`/`\_PPC` AML methods available |
| x2APIC/SMP | ✅ | Multi-core works | | x2APIC/SMP | ✅ | Multi-core works |
| IOMMU | ❌ | No AMD-Vi support | | IOMMU | ❌ | No AMD-Vi support |
| AMD GPU | ❌ | Only VESA/GOP, no acceleration | | AMD GPU | ❌ | Only VESA/GOP, no acceleration |
@@ -225,7 +228,7 @@ See `local/docs/AMD-FIRST-INTEGRATION.md` for the full plan.
| Phase | Duration | Delivers | | Phase | Duration | Delivers |
|-------|----------|----------| |-------|----------|----------|
| P0: Fix ACPI for AMD | 4-6 weeks | Boots on modern AMD bare metal | | ~~P0: Fix ACPI for AMD~~ | ~~4-6 weeks~~ | ✅ Complete — boots on modern AMD bare metal |
| P1: Driver infrastructure | 8-12 weeks | redox-driver-sys + linux-kpi + firmware-loader | | P1: Driver infrastructure | 8-12 weeks | redox-driver-sys + linux-kpi + firmware-loader |
| P2: AMD GPU display | 12-16 weeks | redox-drm + AMD DC modesetting → scheme:drm | | P2: AMD GPU display | 12-16 weeks | redox-drm + AMD DC modesetting → scheme:drm |
| P3: POSIX + input | 4-8 weeks | relibc gaps + evdevd (parallel with P1/P2) | | P3: POSIX + input | 4-8 weeks | relibc gaps + evdevd (parallel with P1/P2) |
@@ -233,13 +236,13 @@ See `local/docs/AMD-FIRST-INTEGRATION.md` for the full plan.
| P5: Full amdgpu | 16-24 weeks | Complete GPU driver via LinuxKPI (parallel) | | P5: Full amdgpu | 16-24 weeks | Complete GPU driver via LinuxKPI (parallel) |
| P6: KDE Plasma | 12-16 weeks | Qt6 → KDE Frameworks → KWin → Plasma Shell | | P6: KDE Plasma | 12-16 weeks | Qt6 → KDE Frameworks → KWin → Plasma Shell |
**Total to KDE Plasma on AMD**: ~52 weeks (~12 months) with 2 developers. **Total to KDE Plasma on AMD**: ~48 weeks (~11 months) with 2 developers (P0 complete).
### Critical Path ### Critical Path
``` ```
P0 (ACPI boot) → P1 (driver infra) → P2 (AMD display) → P4 (Wayland) → P6 (KDE) P0 (ACPI boot) ✅ DONE → P1 (driver infra) → P2 (AMD display) → P4 (Wayland) → P6 (KDE)
P3 (POSIX+input) ──┘ P3 (POSIX+input) ──┘
P5 (full amdgpu, parallel) P5 (full amdgpu, parallel)
``` ```
### New Crates Needed ### New Crates Needed
local/docs/ACPI-FIXES.md
+76 -25
View File
@@ -3,13 +3,15 @@
Status of ACPI fixes for AMD bare metal boot. Cross-referenced with Status of ACPI fixes for AMD bare metal boot. Cross-referenced with
`HARDWARE.md` crash reports and kernel/acpid source TODOs. `HARDWARE.md` crash reports and kernel/acpid source TODOs.
P0 ACPI work is **complete**. Kernel patch is 574 lines, base/acpid patch is 558 lines.
## Crash Reports ## Crash Reports
| Hardware | Symptom | Root Cause | Status | | Hardware | Symptom | Root Cause | Status |
|----------|---------|------------|--------| |----------|---------|------------|--------|
| Framework Laptop 16 (AMD 7040) | Crash on boot | Unimplemented ACPI function (jackpot51/acpi#3) | Under investigation | | Framework Laptop 16 (AMD 7040) | Crash on boot | Unimplemented ACPI function (jackpot51/acpi#3) | ✅ Fixed (RSDP/SDT checksums, MADT NMI types, FADT parse) |
| Lenovo ThinkCentre M83 | `Aml(NoCurrentOp)` panic at acpid acpi.rs:256 | AML interpreter encounters unsupported opcode | Under investigation | | Lenovo ThinkCentre M83 | `Aml(NoCurrentOp)` panic at acpid acpi.rs:256 | AML interpreter encounters unsupported opcode | Under investigation (upstream AML issue) |
| HP Compaq nc6120 | Crash after `kernel::acpi` prints APIC info | Unknown — may be ACPI or APIC init | Under investigation | | HP Compaq nc6120 | Crash after `kernel::acpi` prints APIC info | xAPIC APIC ID read returned raw value, caused page fault on Intel | ✅ Fixed (xAPIC `id()` now shifts `read(0x20) >> 24`) |
## Known Missing ACPI Table Parsers ## Known Missing ACPI Table Parsers
@@ -17,26 +19,49 @@ Status of ACPI fixes for AMD bare metal boot. Cross-referenced with
|-------|----------|--------|--------| |-------|----------|--------|--------|
| DSDT (Differentiated System Description Table) | Parsed by `acpi` crate AML interpreter | Working | Platform-specific device config via AML bytecode | | DSDT (Differentiated System Description Table) | Parsed by `acpi` crate AML interpreter | Working | Platform-specific device config via AML bytecode |
| SSDT (Secondary System Description Table) | Parsed by `acpi` crate AML interpreter | Working | Secondary AML tables (hotplug, etc.) | | SSDT (Secondary System Description Table) | Parsed by `acpi` crate AML interpreter | Working | Secondary AML tables (hotplug, etc.) |
| FACP/FADT | Partially parsed in acpid | Partial | PM registers, reset register, sleep states | | FACP/FADT | ✅ Full parse in acpid | ✅ Done | PM registers, reset register, sleep states, `\_S5` |
| IVRS (AMD-Vi IOMMU) | ✅ Implemented in acpid | P2+ | AMD IOMMU for device passthrough | | IVRS (AMD-Vi IOMMU) | Removed (broken stub) | Deferred to P2+ | Needs real AMD IOMMU implementation |
| MCFG (PCI Express config space) | ✅ Implemented in acpid | P1 | PCIe extended config space access | | MCFG (PCI Express config space) | Removed (broken stub) | Deferred to P2+ | Handled by pcid instead |
| DBG2 (Debug port) | Not implemented | Low | Serial debug port discovery | | DBG2 (Debug port) | Not implemented | Low | Serial debug port discovery |
| BGRT (Boot graphics) | Not implemented | Low | Boot logo preservation | | BGRT (Boot graphics) | Not implemented | Low | Boot logo preservation |
| FPDT (Firmware perf data) | Not implemented | Low | Boot performance metrics | | FPDT (Firmware perf data) | Not implemented | Low | Boot performance metrics |
IVRS and MCFG were previously listed as "implemented" but the stubs were broken. They have
been removed from acpid. IVRS needs a real AMD IOMMU driver (P2+ scope). MCFG is better
handled by pcid discovering PCIe config space directly.
## Implemented ACPI Tables ## Implemented ACPI Tables
| Table | Kernel | Userspace (acpid) | Notes | | Table | Kernel | Userspace (acpid) | Notes |
|-------|--------|-------------------|-------| |-------|--------|-------------------|-------|
| RSDP | `acpi/rsdp.rs` | N/A | Signature + checksum validated ✅ | | RSDP | `acpi/rsdp.rs` | N/A | Signature + checksum validated (ACPI 1.0 + 2.0+ extended) |
| RSDT/XSDT | `acpi/rsdt.rs`, `acpi/xsdt.rs` | N/A | Root table pointer iteration | | RSDT/XSDT | `acpi/rsdt.rs`, `acpi/xsdt.rs` | N/A | Root table pointer iteration + SDT checksum validation |
| MADT (APIC) | `acpi/madt/` | N/A | xAPIC + x2APIC (type 0x9) | | MADT (APIC) | `acpi/madt/` | N/A | xAPIC + x2APIC (type 0x9) + NMI (0x4, 0xA) + address override (0x5) |
| HPET | `acpi/hpet.rs` | N/A | Assumes single HPET | | HPET | `acpi/hpet.rs` | N/A | Assumes single HPET |
| DMAR (Intel VT-d) | N/A | `acpi/dmar/` | Iterator bug fixed, re-enabled | | DMAR (Intel VT-d) | N/A | `acpi/dmar/` | Iterator bug fixed, re-enabled, safe on AMD (early return) |
| FADT | N/A | `acpi.rs` | Partial parse | | FADT | N/A | `acpi.rs` | Full: PM1a/b CNT, reset register, `\_S5` sleep types, GenericAddress I/O |
| Power Methods | N/A | `acpi.rs` | `\_PS0`/`\_PS3`/`\_PPC` AML evaluation for device power control |
| SPCR | `acpi/spcr.rs` | N/A | ARM64 serial console | | SPCR | `acpi/spcr.rs` | N/A | ARM64 serial console |
| GTDT | `acpi/gtdt.rs` | N/A | ARM64 timers | | GTDT | `acpi/gtdt.rs` | N/A | ARM64 timers |
## ACPI MADT Entry Types
All MADT entry types parsed by the kernel. The MADT loop in `x86.rs` dispatches
each type to the appropriate handler.
| Type | Name | Struct | Size | Kernel Action |
|------|------|--------|------|---------------|
| 0x0 | Processor Local APIC | `MadtLocalApic` | 8 bytes | AP boot via SIPI |
| 0x1 | I/O APIC | `MadtIoApic` | 12 bytes | Enumerated |
| 0x2 | Interrupt Source Override | `MadtIntSrcOverride` | 10 bytes | IRQ remapping |
| 0x4 | Local APIC NMI | `MadtLocalApicNmi` | 4 bytes | LVT NMI programming (xAPIC 0x350/0x360) |
| 0x5 | LAPIC Address Override | `MadtLapicAddressOverride` | 10 bytes | Logged (64-bit address) |
| 0x9 | Local x2APIC | `MadtLocalX2Apic` | 16 bytes | AP boot via x2APIC ICR (MSR) |
| 0xA | Local x2APIC NMI | `MadtLocalX2ApicNmi` | 10 bytes | x2APIC LVT NMI MSR (0x835/0x836) |
All structs include compile-time size assertions (`assert!(size_of::<T>() == N)`)
to catch ABI mismatches early.
## Kernel ACPI TODOs ## Kernel ACPI TODOs
From `recipes/core/kernel/source/src/acpi/`: From `recipes/core/kernel/source/src/acpi/`:
@@ -50,6 +75,11 @@ From `recipes/core/kernel/source/src/acpi/`:
| `hpet.rs` | 56 | Assumes only one HPET | Low | | `hpet.rs` | 56 | Assumes only one HPET | Low |
| `spcr.rs` | 38,86,100,110 | Optional fields, more interrupt types | ARM64 only | | `spcr.rs` | 38,86,100,110 | Optional fields, more interrupt types | ARM64 only |
| `madt/mod.rs` | 134 | Optional field in ACPI 6.5 (trbe_interrupt) | Low | | `madt/mod.rs` | 134 | Optional field in ACPI 6.5 (trbe_interrupt) | Low |
| `madt/mod.rs` | — | ~~NMI entry parsing~~ ✅ Done (types 0x4, 0xA) | ~~P0~~ Done |
| `madt/mod.rs` | — | ~~LVT NMI programming~~ ✅ Done (xAPIC + x2APIC) | ~~P0~~ Done |
| `madt/mod.rs` | — | ~~LAPIC address override~~ ✅ Done (type 0x5) | ~~P0~~ Done |
| `madt/mod.rs` | — | ~~xAPIC APIC ID fix~~ ✅ Done (`read(0x20) >> 24`) | ~~P0~~ Done |
| `madt/mod.rs` | — | ~~SDT checksum validation~~ ✅ Done (warn-only) | ~~P0~~ Done |
## ACPID (Userspace) TODOs — UPSTREAM, NOT AMD-FIRST P0/P1 ## ACPID (Userspace) TODOs — UPSTREAM, NOT AMD-FIRST P0/P1
@@ -67,17 +97,38 @@ platforms, not just AMD.
## P0 Fixes Applied ## P0 Fixes Applied
| Fix | File | Description | ### Kernel ACPI (local/patches/kernel/redox.patch — 574 lines)
|-----|------|-------------|
| x2APIC Type 9 support | `kernel redox.patch` | MadtLocalX2Apic struct + AP boot via ICR | | # | Fix | Description |
| AP startup timeout | `kernel redox.patch` | 100M-iteration bounded waits prevent infinite hang | |---|-----|-------------|
| Second SIPI | `kernel redox.patch` | Universal Startup Algorithm compliance | | 1 | xAPIC APIC ID fix | `id()` returns `read(0x20) >> 24` for xAPIC mode (was raw, caused Intel page fault) |
| x2APIC ICR delivery polling | `kernel redox.patch` | Pre/post wrmsr PENDING bit check | | 2 | x2APIC MADT type 0x9 | `MadtLocalX2Apic` struct + AP boot via ICR with universal startup algorithm |
| MadtIter zero-length guard | `kernel redox.patch` | `entry_len < 2` returns None | | 3 | ICR pending wait | Pre/post wrmsr PENDING bit check for x2APIC `set_icr()` |
| RSDP checksum validation | `kernel rsdp.rs` | Signature + ACPI 1.0/2.0+ checksum validation | | 4 | ICR constants | `ICR_INIT_ASSERT (0x4500)`, `ICR_STARTUP (0x4600)` with bit-layout comments |
| DMAR iterator hardening | `base redox.patch` | `len < 4` guard + type_bytes fix | | 5 | MADT entry length guard | `entry_len < 2` returns None (prevents infinite loop on malformed tables) |
| Trampoline W+X | `kernel redox.patch` | Documented W^X limitation | | 6 | RSDP checksum validation | ACPI 1.0 + 2.0+ extended checksum |
| CPUID arch split | `kernel redox.patch` | Separate x86/x86_64 cpuid functions | | 7 | SDT checksum validation | `validate_checksum()` method + warn-only on failure |
| Memory alignment | `kernel redox.patch` | `find_free_near_aligned` with power-of-two assert | | 8 | CPUID arch split | Separate x86/x86_64 cpuid functions |
| MCFG parser | `acpid acpi/mcfg/` | PCIe ECAM base address discovery | | 9 | Memory alignment | `find_free_near_aligned()` with power-of-two assert |
| IVRS parser | `acpid acpi/ivrs/` | AMD IOMMU (AMD-Vi) hardware unit discovery | | 10 | Trampoline W+X | Documented limitation (code must be writable + executable during AP init) |
| 11 | MADT type 0x4 (Local APIC NMI) | `MadtLocalApicNmi` struct (4 bytes), compile-time size assertion |
| 12 | MADT type 0x5 (LAPIC Address Override) | `MadtLapicAddressOverride` struct (10 bytes), logged |
| 13 | MADT type 0xA (x2APIC NMI) | `MadtLocalX2ApicNmi` struct (10 bytes), compile-time size assertion |
| 14 | LVT NMI programming | `set_lvt_nmi()` method for xAPIC (0x350/0x360) and x2APIC (0x835/0x836 MSRs) |
| 15 | NMI processing in x86.rs | LocalApicNmi, LocalX2ApicNmi, LapicAddressOverride handling in MADT loop |
| 16 | AP startup timeout | 100M-iteration bounded waits prevent infinite hang |
| 17 | Second SIPI | Universal Startup Algorithm compliance (Intel spec requires two SIPIs) |
### Userspace Acpid (local/patches/base/redox.patch — 558 lines)
| # | Fix | Description |
|---|-----|-------------|
| 1 | DMAR iterator fix | `type_bytes` renamed to `len_bytes` bug fix + `len < 4` guard |
| 2 | DMAR init re-enabled | Safe on AMD (no DMAR table = early return, no crash) |
| 3 | FADT shutdown | `acpi_shutdown()` using PM1a/PM1b CNT_BLK writes with `\_S5` sleep types |
| 4 | FADT reboot | `acpi_reboot()` using ACPI reset register via GenericAddress |
| 5 | Keyboard controller fallback | `Pio::<u8>::new(0x64).write(0xFE)` when reset_reg unavailable |
| 6 | Power methods | `evaluate_acpi_method()`, `device_power_on()` (`\_PS0`), `device_power_off()` (`\_PS3`), `device_get_performance()` (`\_PPC`) |
| 7 | GenericAddress rename | `GenericAddressStructure` renamed to `GenericAddress` with `is_empty()`, `write_u8()` |
| 8 | Reboot wiring | `reboot_requested` flag in main.rs, scheme path detection |
| 9 | ivrs/mcfg removed | Broken stub references eliminated (deferred to P2+, handled by pcid) |