Just for your information, Debian 7.1.0 during installation says that computer needs rtl_mic/rtl8168e3.fw, which is in their non-free repository.
At any case, wired connection works perfectly with Trisquel. This is the ethernet entry from lspci
Ethernet controller: Realtek Semiconductor Co., Ltd. RTL8111/8168 PCI Express Gigabit Ethernet controller (rev 07)
|SD card readers||44|