Just wondering if there is any effort underway to allow NetBSD to run on RPI5 without a hack. (i.e. directly without having to install something on the SD card and requiring an external USB drive).