# 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-add-OC-OPP-tables-1704-2184.patch
  - board/pinebook-pro/0002-arm64-dts-rk3399-pinebook-pro-enable-hdmi-sound.patch
  - board/pinebook-pro/0003-arm64-dts-rk3399-pinebook-pro-spi1-max-freq-10MHz.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}/