NEWS: move from CVC4 to cvc5

[Manuel Eberl]

In case you're not happy with the performance of the microSD storage, I 
have this case for my Raspberry Pi 5 that has support for an NVMe SSD 
and it works pretty well: 
https://www.berrybase.at/argon-one-v3-m.2-case-fuer-raspberry-pi-5-nvme

Manuel


On 31/01/2025 23:44, Makarius wrote:
> On 31/01/2025 15:46, Makarius wrote:
>>
>> The support for arm64-linux was not available before, which is extra 
>> motivation to move on now. Thus we are almost complete in supporting 
>> that platform.
>
> I have tested it on my new arm64-linux desktop computer: 4 cores at 
> 2.4 GHz, 8 GB RAM, 32 GB microSD storage --- for 110,- EUR total 
> https://www.reichelt.de/de/de/shop/produkt/das_reichelt_raspberry_pi_5_b_8_gb_all-in-bundle-370371
>
> So far it looks good, but 8 GB is not much: I should have bought the 
> 16 GB version. The GPU performance is also a bit lacking (using UHD/4K 
> resolution): our jEdit Graphics2D painting is quite ambitious, but 
> with Ubuntu 24.04 it appears to be better than with the default Pi OS.
>
>
>     Makarius
>