Those are laptops, which are dumb terminals running Chrome, not workstations. Workstations are Linux.