Hi, I would like to announce that there is a development machine ready for developers to work on Debian pp64el port. Feel free to ask for an account at: https://wiki.debian.org/ppc64el#Development_machines Thanks Breno -- Breno Leitão