Hi,

Michael Ford <fanquake@gmail.com> skribis:

>>From 8c3029c1a15b42c98e67e1db790cedcf1cb8a45e Mon Sep 17 00:00:00 2001
> From: fanquake <fanquake@gmail.com>
> Date: Tue, 8 Aug 2023 16:39:47 +0200
> Subject: [PATCH] platform: Introduce powerpc64-linux
>
> * gnu/platforms/powerpc.scm: Introduce powerpc64-linux.

[...]

> +(define powerpc64-linux
> +  (platform
> +   (target "powerpc64-linux-gnu")
> +   (system "powerpc64-linux")

I changed ‘system’ to #f, since it’s not supported in Guix, and tweaked
the commit log.

Thanks!

Ludo’.