You could probably do it with a linux vm in something like virtual box or parallels/fusion. I’ve not tried it myself, but if I needed to format a linux drive and just had my MBP, that’s what I would try. There are probably some existing distros already set up as VMs you could download and run without even installing the OS. The tricky part might be finding the exact format you need for that particular dvr.