Hacker News Reader

> An additional DisplayPort 1.2 output is provided via the USB C port.

For me this was the missing feature from the latest RPi. If on top of that the board can run a vanilla Linux kernel (the RPi can't from what I understand), I'm definitely buying one.

View on HN

The RPi can, actually. Vanilla Debian 11 works fine. Only catch is you need to copy the bootloader and firmware (available in official GH repos) to the EFI partition. No need to patch the kernel, though.

Reply on news.ycombinator.com