Re: [PATCH] riscv: Work to remove kernel dependence on the M-extension

[Michael T. Kloos]

Thank you for your feedback.  I don't really have much of an
opinion about that right now aside from that I know where things
are in the current structure and am comfortable.  My goal with this
contribution was to keep it in-line with the current config
structure.  Hence, I put it right next to the menuconfig option
to control CONFIG_RISCV_ISA_C under Platform Type.

I wouldn't necessarily be opposed to rethinking the way platform
feature selection is presented in menuconfig.  If people feel that
most users will be looking for an rv64gc config and that it should
be made for clear, perhaps it could be done.  I would need to do
more thinking about how exactly that would look.

I do think that it is outside the scope of this patch.  Were you
working on something like that and worried about a merge conflict?

	Michael

On 3/9/22 05:02, Arnd Bergmann wrote:

> On Wed, Mar 9, 2022 at 6:28 AM Michael T. Kloos
> <michael@xxxxxxxxxxxxxxxx> wrote:
> > Added a new config symbol RISCV_ISA_M to enable the usage of the
> > multiplication, division, and remainder (modulus) instructions
> > from the M-extension.  This configures the march build flag to
> > either include or omit it.
> >
> > I didn't find any assembly using any of the instructions from
> > the M-extension.  However, the BPF JIT is a complicating factor.
> > Currently, it emits M-extension instructions to implement various
> > BPF operations.  For now, I have made HAVE_EBPF_JIT depend on
> > CONFIG_RISCV_ISA_M.
> >
> > I have added the supplementary integer arithmetic functions in
> > the file "arch/riscv/lib/ext_m_supplement.c".  All the code
> > contained in this file is wrapped in an ifndef contingent on the
> > presence of CONFIG_RISCV_ISA_M.
> >
> > Signed-off-by: Michael T. Kloos <michael@xxxxxxxxxxxxxxxx>
> The patch looks fine to me, but I increasingly get the feeling that the
> entire platform feature selection in Kconfig should be guarded with
> a global flag that switches between "fully generic" and "fully custom"
> builds, where the generic kernel assumes that all the standard
> features (64-bit, C, M, FPU, MMU, UEFI, ...) are present, the
> incompatible options (XIP, PHYS_RAM_BASE_FIXED,
> CMDLINE_FORCE, BUILTIN_DTB, ...) are force-disabled,
> and all optional features (V/B/P/H extensions, custom instructions,
> platform specific device drivers, ...) are runtime detected.
>
> At the moment, those three types are listed at the same level,
> which gives the impression that they can be freely mixed.
>
>           Arnd