New comment by emacsomancer on void-packages repository https://github.com/void-linux/void-packages/pull/11994#issuecomment-500150041 Comment: @Vaelatern I ran into a snag: the (0.7.13) ZFS DKMS modules don't work against rpi-kernel, and I didn't have any luck in getting it to boot off of a 'vanilla' kernel (having removed the rpi-kernel pkg). I'm not sure what the procedure of installing a plain, non-rpi (say) aarch64 void build to a rpi would be.