Added RTL8723DS driver
$ sha256sum nixos-sd-image-22.05.20220308.4eb954f-riscv64-linux.img.zst
63021ecb52d6e858fbb8f21a3d06c0120be4fecbe471a7fe98bfaac3b5e3de0f nixos-sd-image-22.05.20220308.4eb954f-riscv64-linux.img.zst
$ zstdcat nixos-sd-image-22.05.20220308.4eb954f-riscv64-linux.img.zst | sudo dd of=/dev/mmcblk0 status=progress