mob-i-l wrote:I student might bring a microSD/SD-card that is overclocked beyond warranty. How do you prevent that? I think it is an advantage that there is no internal flash-memory on the Raspberry Pi, because there can be nothing causing problems when switching SD-cards.
It's an interesting point, and difficult to police.
However, the likelihood of breaking an overclocked Pi is pretty remote. In the vast majority of cases, the Pi simply won't boot, and returning to standard settings will mean it will recover. But as you say, the warrantee bit would be set, even if the Pi is still 'ok'. I'm not familiar with any cases of a Pi actually being broken by overclocking, except in some rather extreme cases that require more than just changes to the SD card.
So while it is of concern, I'm not sure how much of a concern it is.
Principal Software Engineer at Raspberry Pi (Trading) Ltd.
Contrary to popular belief, humorous signatures are allowed.
I've been saying "Mucho" to my Spanish friend a lot more lately. It means a lot to him.