Pakete für Debian 13

So funktioniert es

• Die ILP32-Bibliotheken liegen in /usr/libilp32, neben den 64-Bit-Bibliotheken des Systems: die glibc 2.41 und die GCC-14.2-Laufzeit von Debian 13 selbst, dazu weitere Bibliotheken und Python 3.13, alle aus Debians Quellen mit Debians Optionen gebaut. Debians eigene Pakete werden nicht verändert.
• Ein Kernel-Paket (Linux 6.12.114, dieselbe 6.12-LTS-Reihe wie Debian 13) nutzt die Konfiguration von Debian 13 und ergänzt die ILP32-ABI.
• Getestet in QEMU und auf Hardware: Raspberry Pi 3 Model B+, ESPRESSObin und ein Cortex-A72-Board.

Installation

Das apt-Repository ist mit diesem Schlüssel signiert: D572 3B34 0CBE 7C99 2091 8243 9C6A 5E84 1E28 9B20.

wget https://github.com/ilp32-a64/debian-ilp32/releases/download/v2026.11.04/ilp32-a64-archive-keyring_2026.10.24_all.deb
sudo apt install ./ilp32-a64-archive-keyring_2026.10.24_all.deb
sudo apt update
sudo apt install linux-image-ilp32-arm64 ilp32-runtime
sudo reboot
# optional: Compiler und Python
sudo apt install gcc-aarch64-linux-gnu-ilp32 g++-aarch64-linux-gnu-ilp32
sudo apt install python3-ilp32

Details: github.com/ilp32-a64/debian-ilp32.

Vor der Installation

• Der Kernel ist nicht für Secure Boot signiert: Secure Boot ausschalten.
• DKMS-Module werden automatisch neu gebaut, sobald linux-headers-ilp32-arm64 installiert ist; für Debians Kernel gebaute .ko-Dateien von Herstellern laden nicht.
• Debians ursprünglicher Kernel bleibt installiert: Er lässt sich im GRUB-Menü (UEFI), im extlinux-Menü (U-Boot-Boards) oder über config.txt (Raspberry Pi) wählen.
• Nach einem Kernel-Update von Debian uname -r prüfen: Endet die Ausgabe nicht auf -ilp32-arm64, im Bootmenü den Eintrag -ilp32-arm64 wählen oder linux-image-arm64 entfernen, damit Debians Kernel-Updates nicht mehr installiert werden.
• Raspberry Pi: Das Image von Debian 13 vergrößert die Root-Partition (etwa 2,5 GB) nicht; zuerst vergrößern.
• Python: pip akzeptiert nur linux_aarch64_ilp32- und reine Python-Wheels.

Diese Pakete sind inoffiziell und stehen in keiner Verbindung zu Debian.