On Tue, Nov 10, 2020 at 08:15:21PM -0500, Stewart Russell via talk wrote:
> .. and it runs Linux.
>
> https://www.raspberrypi.org/products/raspberry-pi-400/?resellerType=home

And, no price!