Excerpts from Paul Mackerras's message of May 9, 2020 3:02 pm:

Microwatt is a FPGA-based implementation of the Power ISA.  It
currently only implements little-endian 64-bit mode, and does
not (yet) support SMP.

This adds a new machine type to support FPGA-based SoCs with a
Microwatt core.

Very cool!

Would there be any point sharing this with the "naked metal" platform 
Alistair has for booting POWER in L3 without OPAL? Or is it easy enough 
to have a several different simple 64s platforms?

I have an HPT conditional compile patch and a few other diet Kconfig
things I'll now be better justified to try get merged :)

Thanks,
Nick