claude-noether
3f1a26cc1b
Migrates the danctnix-besser kernel PKGBUILD from the boltzmann-side
hand-managed flow (marfrit/besser/danctnix-besser-pkgbuild/) into this
package tree.
Contents:
PKGBUILD - pkgver=7.0.danctnix1 pkgrel=4, single cumulative patch
source (replaces the 3-patch arrangement of pkgrel=3 +
fixes the duplicated 0003-arm64-... source-array entry
bug that was present in pkgrel=3)
config - same SCS=n config as pkgrel=3
(CONFIG_SHADOW_CALL_STACK disabled per
reference_arm64_scs_arm_neon_gcc15 — GCC 15.2.1 build
trap)
0001-bes2600-besser-kernel-agent-cumulative.patch
- 157446 bytes, b2sum a807297b25be...
- Generated by ka-promote ohm against
kernel-agent:fleet/ohm.yaml
- Contents: hand-curated c5x cumulative + Patch I (close
besser#1) + xor-neon SCS-fix (no-op while SCS=n)
manifest.lock
- Provenance: ka-promote-recorded sha256 per included
patch, cumulative b2sum, manifest sha256
README.md - flow docs, pkgrel history, caveats
Provides: linux-pinetab2=7.0.danctnix1-4
Conflicts: linux-pinetab2
Verified: source contents byte-identical to working pkgrel=3 stack
(148149 + 7735 + 1562 = 157446 = ka-promote output size).
marfrit-packages
Overlay package repository for the reauktion.de infrastructure.
Published at: https://packages.reauktion.de/
Scope
| Tree | Arches | Notes |
|---|---|---|
| Arch Linux ARM (ALARM) | aarch64 |
primary target — Pi 5, Rock 5, ampere, KU-1255 test rigs |
| Arch Linux | x86_64 |
for nuccies / workstations |
| Debian | arm64, amd64 |
for non-Arch hosts |
MIPS is intentionally unsupported. The Fritz!Box is sacred.
Layout (served at packages.reauktion.de)
packages.reauktion.de/
├── arch/
│ ├── aarch64/{marfrit.db,marfrit.files,*.pkg.tar.{xz,zst}{,.sig}}
│ └── x86_64/...
├── debian/
│ ├── dists/
│ │ ├── bookworm/{Release,InRelease,Release.gpg,main/binary-{arm64,amd64}/...}
│ │ └── trixie/...
│ └── pool/main/...
└── marfrit.gpg # public signing key
Adding the repo (Arch / ALARM)
curl -sO https://packages.reauktion.de/marfrit.gpg
sudo pacman-key --add marfrit.gpg
sudo pacman-key --lsign-key 92D5E96D8F63C75E4116AA1FF5C8C4603D0D250C
# Paste at the end of /etc/pacman.conf:
[marfrit]
Server = https://packages.reauktion.de/arch/$arch
SigLevel = Required DatabaseRequired
sudo pacman -Sy
Adding the repo (Debian)
sudo install -m 755 -d /etc/apt/keyrings
curl -s https://packages.reauktion.de/marfrit.gpg | \
sudo gpg --dearmor -o /etc/apt/keyrings/marfrit.gpg
echo "deb [signed-by=/etc/apt/keyrings/marfrit.gpg] https://packages.reauktion.de/debian $(lsb_release -cs) main" | \
sudo tee /etc/apt/sources.list.d/marfrit.list
sudo apt update
Signing key
- Fingerprint:
92D5E96D8F63C75E4116AA1FF5C8C4603D0D250C - UID:
Markus Fritsche (marfrit-repo signing) <mfritsche@reauktion.de> - Expires: 2030-04-13
Key management procedures (renewal, rotation, revocation) live in DokuWiki at private:reauktion:marfrit_repo_key (admin-only).
Layout in this Git repo
marfrit-packages/
├── README.md
├── arch/
│ └── distcc-avahi/ # ALARM distcc with --with-avahi
├── debian/ # (future) Debian source packages
└── .gitea/
└── workflows/
└── build.yml # CI pipeline stub
mfritsche@reauktion.de.