Rodrigo Arias Mallo 4333f8074e Configure SPI addresses in header
We use the ENABLE_SPI toggle to also set the PLIC number of inputs.
2024-10-11 11:01:48 +02:00
..
2024-10-11 11:01:48 +02:00
2024-10-10 15:46:04 +02:00