DIY Mac mini Overclocking

mirko writes "So, you wanted a 1,42GHz Mac mini but either because of some distribution woes or because of your tight budget you could just get a 1,25GHz ? Don't worry : Leo Bodnar just found out how to overclock your machine. Of course, you'll have to open it prior to anything else but you already know how to do this."