3770k http://www.debian.org/CD/netinst/

4770k ubuntu server (NIC in mobo too new, changing to debian too at some point)