Debian ppc64 port

Contents

  1. Debian ppc64 port
    1. Target
    2. ABI
    3. ppc64 buildd status
    4. Apt-line
    5. Setting up a ppc64 chroot on a powerpc system
    6. Contact
    7. TODO

Target

The Debian/PowerPC64 (ppc64) port project is active for supporting 64-bit PowerPC CPUs with VMX unit as follows:

PowerPC 970/970FX/970MP, Cell BE and PowerXCell 8i (PPE only), POWER6/6+, POWER7/7+, PA6T, PowerPC e6500.

This port doesn't support POWER3/3-II, POWER4/4+, and POWER5/5+ which are 64-bit PowerPC CPUs shipped unfortunately without VMX unit. Please use 'powerpc' port for these machines.

ABI

64-bit PowerPC ELF Application Binary Interface Supplement

ppc64 buildd status

Buildd status of ppc64 (unstable)

Buildd status of ppc64 (experimental)

Buildd stats of ppc64

Buildd overview of ppc64

Apt-line

deb http://ftp.de.debian.org/debian-ports sid main
deb-src http://cdn.debian.net/debian sid main
deb http://ftp.de.debian.org/debian-ports unreleased main
deb-src http://ftp.de.debian.org/debian-ports unreleased main

Setting up a ppc64 chroot on a powerpc system

debootstrap --no-check-gpg --arch=ppc64 --variant=buildd sid /chroots/sid-ppc64 http://ftp.de.debian.org/debian-ports
chroot /chroots/sid-ppc64
mount -t proc proc /proc

Contact

If you are interested in porting to Debian ppc64 port, please contact ppc64 buildd maintainers.

TODO

Needs GHCi support

Needs Ocaml native compiler support