Arduino ethernet not recognized

On the Linux version, do you see anything under "Tools - Serial Port"?