repo.etawen.dev

Arch / CachyOS / Artix

curl -fsSL https://repo.etawen.dev/key.asc | sudo pacman-key --add -
sudo pacman-key --lsign-key 93AB12C4159FEDAB

echo -e "\n[ps5]\nServer = https://repo.etawen.dev/arch" | sudo tee -a /etc/pacman.conf
sudo pacman -Syu linux-ps5

Debian / Ubuntu / Mint / Devuan

sudo install -d -m 0755 /etc/apt/keyrings
curl -fsSL https://repo.etawen.dev/key.asc | sudo gpg --dearmor --yes \
    -o /etc/apt/keyrings/etawen-ps5.gpg

echo "deb [signed-by=/etc/apt/keyrings/etawen-ps5.gpg] https://repo.etawen.dev/deb ./" \
    | sudo tee /etc/apt/sources.list.d/etawen-ps5.list
sudo apt update && sudo apt install --reinstall linux-ps5

Fedora / Bazzite

sudo curl -fsSL https://repo.etawen.dev/key.asc \
    -o /etc/pki/rpm-gpg/RPM-GPG-KEY-etawen-ps5

sudo tee /etc/yum.repos.d/etawen-ps5.repo <<'REPO'
[etawen-ps5]
name=Etawen PS5 kernel
baseurl=https://repo.etawen.dev/rpm/
enabled=1
gpgcheck=1
repo_gpgcheck=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-etawen-ps5
REPO
sudo dnf upgrade linux-ps5

After install, sudo reboot picks up the new kernel via the PS5 kexec stub — the kernel postinst hook auto-copies the new vmlinuz + initrd to /boot/efi/.