Any SSD-aware operating system will format the drive correctly with whatever tool it uses.

All three named operating systems are SSD aware - some linux filesystems don't support automatic TRIM and will only allow scheduled TRIM operations.

TRIM is basically garbage collection - NAND flash doesn't work like a HDD, a write is one operation that can be done on a single page (NAND flash cells are divided into blocks and then those blocks are subdivided into pages) but an erase must be carried out on an entire block, and an erase/write is two operations (technically four - read-erase-modify-write) which creates overhead and can cause flash degradation. Using TRIM the operating system can tell the drive which files are no longer needed and the drive can then mark that page as ready for re-allocation. Basically without TRIM drives quickly degrade in performance as every new write once the drive has been filled up once becomes a read-erase-modify-write cycle which is four operations rather than one.