[PATCH v2] RISC-V: Add CONFIG_{NON,}PORTABLE

[Arnd Bergmann]

On Thu, Apr 14, 2022 at 3:40 AM Palmer Dabbelt <palmer at rivosinc.com> wrote:
>
> From: Palmer Dabbelt <palmer at rivosinc.com>
>
> The RISC-V port has collected a handful of options that are
> fundamentally non-portable.  To prevent users from shooting themselves
> in the foot, hide them all behind a config entry that explicitly calls
> out that non-portable binaries may be produced.
>
> Signed-off-by: Palmer Dabbelt <palmer at rivosinc.com>

Reviewed-by: Arnd Bergmann <arnd at arndb.de>