Wait, so does this mean FreeBSD will work better on a raspberry pi without having to hack on your config files just to get it to recognize all available RAM? I’ve got FreeBSD running on a rpi4—took some doing. It would be nice to just slap an image on it and have it work.