If you have been using that, you must replace it by
before upgrading to the latest firmware and kernel.
This morning I ran apt-get dist-upgrade to get the latest updates including a new kernel and firmware release.
Note: I'm running my OS from USB HDD, which means that I have my boot partition on SD card and the Linux file system on the HDD. I boot to the command line, but start my own small desktop from /etc/rc.local.
The upgrade went fine (including the new wolfram version) and I rebooted to run the new kernel and firmware. That's when the trouble began. The system took ages to boot (after it had started to access the file system on HDD). The HDD was working like hell, which usually means that it has started swapping.
I managed to log in using SSH from another Pi, but this also took 2 or 3 minutes. I could finally run "free" and noticed, that most of the RAM was missing (probably using 256 MB, but I have set GPU memory to 192 in my config.txt). I finally managed to modify /boot/config.txt (removing the GPU memory setting) and my rc.local file (removing my xinit script and other stuff) and rebooted (to the command line). This time it worked without swapping, but running "free" showed that I still had less than 200 MB RAM.
I reinstalled kernel and bootloader from var/cache/apt/archives using dpkg and rebooted. No change.
I reinstalled former versions of the system files (see below), rebooted and Voila!! - my system is working again as it should (and I finally restored my config.txt and rc.local settings as well).
This is what I did to get my system running again:
Code: Select all
cd /var/cache/apt/archives sudo dpkg -i raspberrypi-bootloader_1.20161215-1_armhf.deb raspberrypi-kernel_1.20161215-1_armhf.deb libraspberrypi0_1.20161215-1_armhf.deb libraspberrypi-doc_1.20161215-1_armhf.deb libraspberrypi-dev_1.20161215-1_armhf.deb libraspberrypi-bin_1.20161215-1_armhf.deb raspberrypi-sys-mods_20170127_all.deb
Edit: it looks like this will happen to any system running the main file system from an USB device and the boot partition from SD card.