Here's a rather specific requirement that I'm hoping you guys can help me with. I'm looking for building a portable workstation that I can put in my bag when I'm visiting my parents. I need something in a mini-itx flavour that preferably has a bios that supports non-k overclocking (if you can still get them). Can anybody point me in the right direction? I may be installing OS X on this as well as Debian. But I'm fairly comfortable streamlining OS X if need be. Cheers :)