This page is grossly inadequate. Please rectify this as soon as possible.
DexOS USB Formatter/Loader
The following instructions have been developed using a Debian Linux-based OS, however, it should be applicable to most common Linux-based operating systems.
Step 1: Find Your Device
In this case, the device is located at /dev/sdc1.
Step 2: Format Your Device
To format your device to the FAT16 file system, use the following command:
sudo mkdosfs -F 16 /dev/sdc1