Created attachment 220537 [details]
The port builds fine on powerpc64. Also add PowerPC to targets.
A commit references this bug:
Date: Tue Dec 15 00:24:36 UTC 2020
New revision: 558115
Update to a new snapshot
Allow to build on powerpc64 and add PowerPC target. 
Add ARM target (needed for boot/firmware bits in some cases for Arm64).
PR: 251826 
Submitted by: pkubaj 
Sponsored by: DARPA
I'd be a little surprised if anyone was developing CHERI software on powerpc64, but I've gone ahead and committed this along with an update.
(In reply to Brooks Davis from comment #2)
Well, there's no reason to keep a port marked broken if it really isn't currently (I don't deny it was broken previously).
Thanks for committing this!