IMO there is many other dev boards than rpi at reasonable prices that could do the job if someone were to spend a few months working on it, ones with more memory, faster disk interfaces, usb-c sockets and usb3.2, onboard ethernet, etc etc