Debian ppc64 port

Target

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

PowerPC 970/970FX/970MP, Cell BE, PowerXCell 8i, POWER6/POWER6+, POWER7.

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

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

ToDo

Needs GHCi support

Needs Ocaml native compiler support

Waiting for a patch for Free Pascal compiler applied