There are 3 SATA ports available on the MACCHIATObin board. The picture below shows the top view of the 3 SATA ports on the board. All the three SATA ports support 6Gbps SATA 3.0 standard.
When you start the Linux on MACCHIATObin with SATA drive connected, the SATA drive will show up in the /dev directory as block device named /dev/sd'x'. The example below shows there is one SATA drive connected to the MACCHIATObin, and the drive contains only single partition. The SATA drive is named /dev/sda and the partition is indexed as /dev/sda1.
root@localhost:~# ls /dev/sd* /dev/sda /dev/sda1
If you have all the 3 SATA interfaces connected with the SATA drives, the drive you connected to the interface next to the SoC heatsink, see the picture above, will have its name assigned as sda, the middle one will have the device name sdb, the SATA drive connected to the interface next to the battery will have the name sdc under Linux.
root@localhost:~# ls /dev/sd* /dev/sda /dev/sda1 /dev/sdb /dev/sdb1 /dev/sdb2 /dev/sdc /dev/sdc1
Under Linux you can use tools like fdisk and parted to manage the partition of the SATA drive. And you may use the mkfs tool to format your SATA drives.