wenns auch was anderes sein darf:
http://www.tinygreenpc.com/fit-pc/intense-pc.aspxläuft bei mir seit letztem juli und ich bin sehr zufrieden damit, allerdings nicht debian stable sondern debian 'unstable'
System: Host: siductionbox Kernel: 3.12-7.towo-siduction-amd64 x86_64 (64 bit, gcc: 4.8.2)
Desktop: LXDE (Openbox 3.5.2) Distro: siduction 13.1.0 Firestarter - lxde - (201305202209)
Machine: Mobo: CompuLab model: Intense-PC version: 1.x Bios: Phoenix version: CR_2.2.0.346 X64 date: 11/25/2012
CPU: Dual core Intel Core i7-3517UE CPU (-HT-MCP-) cache: 4096 KB flags: (lm nx sse sse2 sse3 sse4_1 sse4_2 ssse3 vmx) bmips: 8780.96
Clock Speeds: 1: 1701.390 MHz 2: 1608.062 MHz 3: 2701.617 MHz 4: 2639.140 MHz