[BUG] Unsupported CSRs

Created by: AyoubJalali

Is there an existing CVA6 bug for this?

• I have searched the existing bug issues

Bug Description

Hello, As the CV32A60X does not support User mode, so the Following CSRs should not exist : MENVCFG, MENVCFGH, MCOUNTEREN, in another term the CV32A60X should raise an exception when trying to write or read from these CSRs.

As Volume II: RISC-V Privileged Architectures V20211203 : ### If U-mode is not supported, then registers menvcfg and menvcfgh do not exist.

also

To reproduce the Bug, you only need a test trying to read or write to one of these CSRs.