3 ms·

You have been able to run full Linux distros on Raspberry Pi for ages. Ubuntu since 23.10 and Debian most notably.