Internal SD Card format PowerEdge server

Hello,

i'm working on fully automated server decommission process of Dell PowerEdge servers.

One thing i bumped into is that i cant find any way how to securely format Internal SD Cards which were used for ESX installation.