Hello Hesham,
On 18/12/2022 15:27, heshamelmat...@gmail.com wrote:
From: Hesham Almatary
Currently generic RISC-V BSPs (riscv/riscv) that start with rv* and not
rv*_medany will start at 0x7000. This adds high maintenance overhead
and deviates from almost all other RISC-V-based OSes and bare
Hi Sebastian,
I will do that - so I expect to have two new separate patch sets.
I have already checked a lot of it for license/copyright stuff, but I'll
double-check this.
The first will add a `formal` folder to rtems-central, as you specified.
The second will add a revised version of the FV ch
