IIRC, it's non-existent. I'm pretty sure that I had to test on real hardware
when I added desktop floppy formatting to EmuTOS.
Oh, that explains it then. :-) I didn't expect it from Aranym but I had a hope for Hatari.
If you have something that needs a real floppy, I can test it for you.
So all that's needed is to download one of the
snapshots and try to format a floppy. There are preconfigured builds with TeraDesk included, so it's really only about unpacking the snapshot to C: and reboot. Feel free to report your findings there.
Thanks in advance!