fleet: add fresnel manifest (Pinebook Pro RK3399 OC)

2026-05-09 12:03:07 +00:00
parent 458e43c78e
commit afd7526606
1 changed files with 60 additions and 0 deletions
@@ -0,0 +1,60 @@
+# kernel-agent manifest for fresnel (Pinebook Pro / Rockchip RK3399)
+#
+# Status: bootstrap, manually-driven. ka-* CLI not yet implemented.
+# This manifest is the input ka-promote / ka-build will consume once landed.
+# Until then it documents the canonical patch set + baseline for the manual
+# build that produces linux-fresnel-fourier.
+
+host: fresnel
+arch: arm64
+soc: rockchip/rk3399
+board: pinebook-pro
+distro: archlinux-arm  # EndeavourOS pacman base
+
+baseline:
+  tree: mmind/linux-rockchip
+  url: https://git.kernel.org/pub/scm/linux/kernel/git/mmind/linux-rockchip.git
+  ref: v7.0
+  upstream_compat: linux-7.0  # what the patches target
+
+# Scope-tagged patch includes. Each entry resolves to
+# patches/<scope>/.../<file>.patch in marfrit/kernel-agent.
+includes:
+  - board/pinebook-pro/0001-arm64-dts-rk3399-pinebook-pro-OC-OPP-cluster0-1704-cluster1-2184.patch
+
+# Explicitly NOT included (tracked elsewhere, decision logged):
+#   - subsystem/media/videobuf2/dma-resv-release-fence/  (RFC v1 rejected;
+#     v2 in design — see marfrit/dmabuf-modifier-triage#3. Skip until v2 lands
+#     or we explicitly accept v1-shape parity with ohm.)
+#   - driver/panfrost/iommu-cache-rk3399/  (sibling kernel work; ship together
+#     with vb2_dma_resv when it lands.)
+
+config:
+  source: /proc/config.gz on running fresnel kernel (linux-eos-arm 6.19.9-99)
+  strategy: snapshot, fold to baseline, accept-new with rationale on diff
+
+package:
+  name: linux-fresnel-fourier
+  versioning: "${baseline_ref}.kafr${pkgrel}"  # e.g. 7.0.kafr1
+  install_mode: alongside  # coexists with linux-eos-arm in /boot
+  conflicts: []
+  provides: []
+  kernel_suffix: -fresnel-fourier  # /boot/vmlinuz-7.0.0-fresnel-fourier
+  bootloader: extlinux  # default Pinebook Pro layout
+
+verify:
+  bar1_ssh_heartbeat: required
+  bar2_pkg_version: required
+  bar3_dtb_match:
+    - cpufreq cluster0 max == 1704000
+    - cpufreq cluster1 max == 2184000
+  bar4_per_patch_probe: opt-in
+  bar5_burn_in: skip  # laptop, runtime not constant
+
+build_host:
+  primary: boltzmann      # kbuild-aarch64 surrogate today (native)
+  fallback: fermi         # hertz LXD, ALARM aarch64
+  distcc_pool: [tesla, dcc1, dcc2]
+
+backup:
+  pre_install: hertz:/sparfuxdata/kernel-agent-backups/fresnel/${replaced_version}/