Hi there, just wanted to tell you, that the temperature of my cpu is raising to very high values, while having the hurd system running. If I am working with linux, the temperature of the cpu is somewhere below 60°C (under heavy load), but if I boot the hurd thing and don't do anything, the temperature raises to higher 60's and the bios temperature warning starts howling. Did anyone else recognize this problem? Thanks, Jochen