The big toshibas work just fine with the linux on the workstation machines, but you may need to set some values to make things look right.