Hacker News new | ask | show | jobs
by louib 2040 days ago
> 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.
1 comments
3np 2040 days ago
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.
link