[PATCH v2 0/5] Microwatt updates

[Paul Mackerras]

This patch series updates the kernel support for the Microwatt
soft-core and its implementation on FPGA systems, particularly the
Digilent Arty A7-100 FPGA development board.

Microwatt now supports almost all of the features of the SFFS (Scalar
Fixed-point and Floating-point Subset) compliancy subset of Power ISA
version 3.1C, including prefixed instructions and the fixed-point hash
(ROP mitigation) instructions.  It is also now SMP-capable, and a
dual-core system will fit on the Arty A7-100 board.

Microwatt does not have broadcast TLB invalidations in SMP systems;
the kernel already has code to deal with this.  One of the patches in
this series provides a config option to allow platforms to select
unconditionally the behaviour where cross-CPU TLB invalidations are
handled using inter-processor interrupts.

Tested on an Arty A7-100 FPGA board with 2 CPUs.  Compile-tested for
pseries and powernv.

Paul.
---
v2: Address review comments

 arch/powerpc/boot/dts/microwatt.dts          | 107 +++++++++++++++++++++++----
 arch/powerpc/mm/book3s64/pgtable.c           |   4 +-
 arch/powerpc/platforms/Kconfig.cputype       |  13 ++++
 arch/powerpc/platforms/microwatt/Kconfig     |   3 +-
 arch/powerpc/platforms/microwatt/Makefile    |   1 +
 arch/powerpc/platforms/microwatt/microwatt.h |   1 +
 arch/powerpc/platforms/microwatt/setup.c     |  18 +++++
 arch/powerpc/platforms/microwatt/smp.c       |  80 ++++++++++++++++++++
 arch/powerpc/platforms/powernv/Kconfig       |   1 +
 arch/powerpc/platforms/pseries/Kconfig       |   1 +
 10 files changed, 213 insertions(+), 16 deletions(-)