#!/usr/bin/env bash
# Host-only reset driver API/object check; no complete kernel link or MMIO.
set -euo pipefail
repo=$(git rev-parse --show-toplevel)
src=${MAINLINE_RESTART_SRC:-$(nix build .#kernelMainlineDrm.src --no-link --print-out-paths --max-jobs 1 --cores 4)}
base=$repo/.scratch/mainline-restart-object
mkdir -p "$base"
run=$(mktemp -d "$base/run.XXXXXX")
build=$run/build
module=$run/module
mkdir -p "$build" "$module"
printf 'UTC: %s\nSource: %s\n' "$(date -u +%FT%TZ)" "$src"
sha256sum "$src/drivers/reset/reset-k230.c" "$src/include/linux/reboot.h"
if [[ -n "${MAINLINE_RESTART_CROSS_COMPILE:-}" ]]; then
  flags=(ARCH=riscv CROSS_COMPILE="$MAINLINE_RESTART_CROSS_COMPILE")
  "${MAINLINE_RESTART_CROSS_COMPILE}gcc" --version | head -1
else
  flags=(ARCH=riscv LLVM=1)
  clang --version | head -1
fi
# Prepare real headers from the exact pinned source with the selected compiler.
# The full Nix GCC/config/link proof is a separate task.
if [[ -n "${MAINLINE_RESTART_CONFIG:-}" ]]; then
  cp "$MAINLINE_RESTART_CONFIG" "$build/.config"
  chmod u+w "$build/.config"
else
  make -s -C "$src" O="$build" "${flags[@]}" defconfig
fi
"$src/scripts/config" --file "$build/.config" --disable GCC_PLUGINS \
  --disable DEBUG_INFO --disable DEBUG_INFO_BTF --disable RUST \
  --enable RESET_CONTROLLER --enable RESET_K230
make -s -C "$src" O="$build" "${flags[@]}" olddefconfig prepare
grep -E '^CONFIG_(64BIT|RISCV|OF|RESET_CONTROLLER|RESET_K230)=' "$build/.config"
cp "$src/drivers/reset/reset-k230.c" "$module/"
printf 'obj-m += reset-k230.o\n' > "$module/Makefile"
make -C "$src" O="$build" M="$module" "${flags[@]}" W=1 reset-k230.o
file "$module/reset-k230.o"
llvm-nm "$module/reset-k230.o" | rg 'k230_rst_restart|devm_register_sys_off_handler|devm_ioremap'
sha256sum "$module/reset-k230.o" "$build/.config"
printf 'Object check passed; this did not link a complete kernel or execute restart.\n'