Hi! Does NetBSD support the newer Orange Pi devices? The Orange Pi 5 looks nice and is available with 16G of RAM. The Orange Pi 800 is inside of a keyboard, like the RPi 400. They both use Rockchip processors. They look like pretty interesting devices. -- Benny