diff --git a/local/docs/BOOT-PROCESS-IMPROVEMENT-PLAN.md b/local/docs/BOOT-PROCESS-IMPROVEMENT-PLAN.md index 5bf10f8d..d1f2ec14 100644 --- a/local/docs/BOOT-PROCESS-IMPROVEMENT-PLAN.md +++ b/local/docs/BOOT-PROCESS-IMPROVEMENT-PLAN.md @@ -3,7 +3,7 @@ **Version:** 1.1 — 2026-04-29 **Status:** Active — supersedes ad-hoc boot fixes and replaces historical P0–P6 boot notes -**Canonical plans:** `local/docs/CONSOLE-TO-KDE-DESKTOP-PLAN.md` (v3.0), `local/docs/GREETER-LOGIN-IMPLEMENTATION-PLAN.md` +**Canonical plans:** `local/docs/CONSOLE-TO-KDE-DESKTOP-PLAN.md` (v4.0), `local/docs/GREETER-LOGIN-IMPLEMENTATION-PLAN.md` **Diagnosis:** `local/docs/BOOT-PROCESS-ASSESSMENT.md` (Phase 7 kernel RAM hang + ISO organization) --- @@ -31,7 +31,7 @@ ### What does NOT work -1. **No graphical login yet** — boot ordering now explicitly schedules `pcid-spawner` before the greeter, and `redbear-greeter-compositor` waits for the configured DRM path before selecting `--drm`. The remaining blocker is still runtime DRM availability: if `redox-drm` never exposes `/scheme/drm/card0`, the greeter honestly falls back to `kwin_wayland_wrapper --virtual` and the Qt6/QML greeter UI still does not render on a real KMS path. +1. **No graphical login yet** — boot ordering now explicitly schedules `pcid-spawner` before the greeter, and `redbear-greeter-compositor` waits for the configured DRM path before selecting `--drm`. The remaining blocker is still runtime DRM availability: if `redox-drm` never exposes `/scheme/drm/card0`, the greeter honestly falls back to `redbear-compositor --virtual` and the Qt6/QML greeter UI still does not render on a real KMS path. 2. **Kernel hangs with ≥4 GiB RAM** — On x86_64, kernel enters spin-loop before `serial::init()` completes when guest RAM ≥4 GiB. `make qemu` default 2048 MiB is unaffected. 3. **Live ISO preload broken** — Bootloader cannot allocate 4 GiB contiguous RAM block. @@ -106,10 +106,10 @@ - [x] Successful login → session launch — session-launch binary + greeter chain wired; runtime proof requires QEMU - [x] `redbear-session-launch` UID/GID — binary implements correct handoff; runtime validation requires QEMU - [x] D-Bus session bus — sessiond + dbus wired in config; session bus start requires QEMU boot -- [x] `kwin_wayland_wrapper --drm` — wrapper delegates to redbear-compositor; compositor start requires QEMU with DRM +- [x] `redbear-compositor --drm` — wrapper delegates to redbear-compositor; compositor start requires QEMU with DRM - [x] `plasmashell` / KWin desktop surface — plasma packages enabled in config; runtime desktop proof requires QEMU + Qt6Quick -**Resolved:** `redbear-kde-session` exists at `/usr/bin/redbear-kde-session` (staged by redbear-greeter recipe). Sets KDE session environment variables (`XDG_CURRENT_DESKTOP=KDE`, `KDE_FULL_SESSION=true`) and launches `kwin_wayland_wrapper` + `plasmashell`. Previously documented as `redbear-full-session`. Runtime proof requires QEMU boot. +**Resolved:** `redbear-kde-session` exists at `/usr/bin/redbear-kde-session` (staged by redbear-greeter recipe). Sets KDE session environment variables (`XDG_CURRENT_DESKTOP=KDE`, `KDE_FULL_SESSION=true`) and launches `redbear-compositor` + `plasmashell`. Previously documented as `redbear-full-session`. Runtime proof requires QEMU boot. **Estimated effort:** Complete (build-verified; QEMU validation supplementary) diff --git a/local/docs/DBUS-INTEGRATION-PLAN.md b/local/docs/DBUS-INTEGRATION-PLAN.md index 60a40fe1..39434fb3 100644 --- a/local/docs/DBUS-INTEGRATION-PLAN.md +++ b/local/docs/DBUS-INTEGRATION-PLAN.md @@ -2,9 +2,9 @@ **Implementation status (2026-04-29):** All DBUS plan code artifacts are build-verified. Remaining items are runtime validation gates requiring QEMU. **Version:** 3.0 — 2026-04-29 -**Status:** Active plan aligned with the desktop path v3.0 +**Status:** Active plan aligned with the desktop path v4.0 **Scope:** Full D-Bus infrastructure for KDE Plasma 6 on Wayland, tightly integrated with Redox scheme IPC -**Parent plan:** `local/docs/CONSOLE-TO-KDE-DESKTOP-PLAN.md` (v3.0) +**Parent plan:** `local/docs/CONSOLE-TO-KDE-DESKTOP-PLAN.md` (v4.0) --- @@ -614,7 +614,7 @@ APIs, which relibc provides. ## 8. Integration with Console-to-KDE Plan -This D-Bus plan maps directly onto the phases in `CONSOLE-TO-KDE-DESKTOP-PLAN.md` v3.0: +This D-Bus plan maps directly onto the phases in `CONSOLE-TO-KDE-DESKTOP-PLAN.md` v4.0: | Desktop Plan Phase | D-Bus Plan Phase | What D-Bus delivers | |---|---|---| diff --git a/local/docs/GREETER-LOGIN-ANALYSIS.md b/local/docs/GREETER-LOGIN-ANALYSIS.md index 5c60151e..f350216f 100644 --- a/local/docs/GREETER-LOGIN-ANALYSIS.md +++ b/local/docs/GREETER-LOGIN-ANALYSIS.md @@ -22,7 +22,7 @@ redbear-authd (privileged auth daemon, /etc/shadow verification) redbear-session-launch (uid/gid drop + env bootstrap) │ exec's ↓ -dbus-run-session -- redbear-kde-session → kwin_wayland_wrapper --drm + plasmashell +dbus-run-session -- redbear-kde-session → redbear-compositor --drm + plasmashell (redbear-sessiond on system D-Bus → org.freedesktop.login1 for KWin device access) ``` @@ -127,7 +127,7 @@ export WAYLAND_DISPLAY=wayland-0 export XDG_RUNTIME_DIR=/tmp/run/user/0 dbus-daemon --system & eval $(dbus-launch --sh-syntax) -kwin_wayland_wrapper --drm & +redbear-compositor --drm & sleep 2 && plasmashell & ``` @@ -231,7 +231,7 @@ shell = "/usr/bin/ion" | redbear-authd now in config | authd recipe in redbear-full config | Verify authd binary reaches image via build | | redbear-sessiond now in config | sessiond inherited from redbear-mini config | Verify sessiond binary reaches image via build | | greeter user account present in config | `[users.greeter]` in redbear-full config | Verify greeter user uid=101 in /etc/passwd in image after build | -| compositor requires DRM but QEMU has none | `kwin_wayland_wrapper --drm` fails in VM | Use `--virtual` in VM; compositor script already handles this | +| compositor requires DRM but QEMU has none | `redbear-compositor --drm` fails in VM | Use `--virtual` in VM; compositor script already handles this | --- diff --git a/local/docs/GREETER-LOGIN-IMPLEMENTATION-PLAN.md b/local/docs/GREETER-LOGIN-IMPLEMENTATION-PLAN.md index f0fb9e51..37170be5 100644 --- a/local/docs/GREETER-LOGIN-IMPLEMENTATION-PLAN.md +++ b/local/docs/GREETER-LOGIN-IMPLEMENTATION-PLAN.md @@ -3,7 +3,7 @@ **Version:** 1.0 — 2026-04-19 **Status:** Active plan with bounded greeter/login proof now passing on `redbear-full`; broader desktop-runtime trust still remains experimental **Scope:** Red Bear-native graphical greeter, authentication boundary, and session handoff for the KDE-on-Wayland desktop path -**Parent plans:** `local/docs/CONSOLE-TO-KDE-DESKTOP-PLAN.md` (v3.0), `local/docs/DBUS-INTEGRATION-PLAN.md` +**Parent plans:** `local/docs/CONSOLE-TO-KDE-DESKTOP-PLAN.md` (v4.0), `local/docs/DBUS-INTEGRATION-PLAN.md` ---