Re: [PATCH v6 03/20] xen/riscv: introduce extenstion support check by compiler

2024-03-21 Thread Conor Dooley
On Thu, Mar 21, 2024 at 09:31:59AM +0100, Jan Beulich wrote: > On 20.03.2024 20:44, Conor Dooley wrote: > > On Wed, Mar 20, 2024 at 07:58:05PM +0100, Oleksii wrote: > >> On Mon, 2024-03-18 at 17:58 +0100, Jan Beulich wrote: > >>> On 15.03.2024 19:05, Oleksii Kurochko wrote: > Currently,

Re: [PATCH v6 03/20] xen/riscv: introduce extenstion support check by compiler

2024-03-21 Thread Oleksii
On Wed, 2024-03-20 at 19:44 +, Conor Dooley wrote: > IIRC this only "works" because the OpenSBI devs assume that there are > no > non-normative behaviours and all CSRs have their ~God~ RVI defined > meanings. Reading a CSR to see if it traps is not behaviour you can > really > rely on unless

Re: [PATCH v6 03/20] xen/riscv: introduce extenstion support check by compiler

2024-03-21 Thread Jan Beulich
On 20.03.2024 20:44, Conor Dooley wrote: > On Wed, Mar 20, 2024 at 07:58:05PM +0100, Oleksii wrote: >> On Mon, 2024-03-18 at 17:58 +0100, Jan Beulich wrote: >>> On 15.03.2024 19:05, Oleksii Kurochko wrote: Currently, RISC-V requires two extensions: _zbb and _zihintpause. >>> >>> Do we really

Re: [PATCH v6 03/20] xen/riscv: introduce extenstion support check by compiler

2024-03-20 Thread Conor Dooley
On Wed, Mar 20, 2024 at 07:58:05PM +0100, Oleksii wrote: > On Mon, 2024-03-18 at 17:58 +0100, Jan Beulich wrote: > > On 15.03.2024 19:05, Oleksii Kurochko wrote: > > > Currently, RISC-V requires two extensions: _zbb and _zihintpause. > > > > Do we really require Zbb already? > After an

Re: [PATCH v6 03/20] xen/riscv: introduce extenstion support check by compiler

2024-03-20 Thread Oleksii
On Mon, 2024-03-18 at 17:58 +0100, Jan Beulich wrote: > On 15.03.2024 19:05, Oleksii Kurochko wrote: > > Currently, RISC-V requires two extensions: _zbb and _zihintpause. > > Do we really require Zbb already? After an introduction of Andrew C. patches [1] it is requited for __builtin_ffs{l} [1]

Re: [PATCH v6 03/20] xen/riscv: introduce extenstion support check by compiler

2024-03-18 Thread Jan Beulich
On 15.03.2024 19:05, Oleksii Kurochko wrote: > Currently, RISC-V requires two extensions: _zbb and _zihintpause. Do we really require Zbb already? > This patch introduces a compiler check to check if these extensions > are supported. > Additionally, it introduces the riscv/booting.txt file,

[PATCH v6 03/20] xen/riscv: introduce extenstion support check by compiler

2024-03-15 Thread Oleksii Kurochko
Currently, RISC-V requires two extensions: _zbb and _zihintpause. This patch introduces a compiler check to check if these extensions are supported. Additionally, it introduces the riscv/booting.txt file, which contains information about the extensions that should be supported by the platform.