Re: [PATCH] RISC-V: Mask out the F extension on systems without D

2018-08-28 Thread Palmer Dabbelt
On Tue, 28 Aug 2018 00:10:32 PDT (-0700), alan...@andestech.com wrote: Hi Palmer, On Mon, Aug 27, 2018 at 03:03:52PM -0700, Palmer Dabbelt wrote: The RISC-V Linux port doesn't support systems that have the F extension but don't have the D extension -- we actually don't support systems without D

Re: [PATCH] RISC-V: Mask out the F extension on systems without D

2018-08-28 Thread Alan Kao
Hi Palmer, On Mon, Aug 27, 2018 at 03:03:52PM -0700, Palmer Dabbelt wrote: > The RISC-V Linux port doesn't support systems that have the F extension > but don't have the D extension -- we actually don't support systems > without D either, but Alan's patch set is rectifying that soon. For now > I

[PATCH] RISC-V: Mask out the F extension on systems without D

2018-08-27 Thread Palmer Dabbelt
The RISC-V Linux port doesn't support systems that have the F extension but don't have the D extension -- we actually don't support systems without D either, but Alan's patch set is rectifying that soon. For now I think we can leave this in a semi-broken state and just wait for Alan's patch set to