Type the following commands to get the serial number –
Linux: Type sudo dmidecode -t system | grep Serial in the terminal
Windows: Type wmic bios get serialnumber in the command prompt/PowerShell OR Type Get-WmiObject win32_bios | Select-Object SerialNumber in PowerShell
