On Wed, Feb 17, 2016 at 01:59:40AM +0000, CJB wrote: >http://www.bbc.co.uk/news/technology-35592916 If you have a Linux box, you should be keeping it updated; the patch was available last night. A Raspberry Pi is a Linux box. As root: aptitude update, aptitude upgrade.