Topic: Jessie and kernel/u-boot packages.
I followed the Debian Jessie bootstrap instructions and now have this installed to an SSD. However, the kernel residing on the MicroSD card is fairly old and I saw that there were much more recent packages in the repos. So with this in mind I installed:
The kernel and devicetree got placed in /usr/share/linux-novena, so I copied them to the boot filesystem on /dev/mmcblk0p1 (as zImage and novena.dtb). I didn't have much luck trying to boot the new kernel by modifying the boot script, so I next installed u-boot-novena from the repos while the MicroSD card boot partition was mounted under /boot. Following this I ran:
# novena-install-spl -d /dev/mmcblk0
I got much further this time, but the HDMI output (this is a bare board) hung at the four penguins and with complaints about not being able to load USB, Bluetooth and ath3k firmware (and possibly others).
So my question is: with Jessie, and the boot files on the MicroSD and the rootfs on SSD, how do you get and up running with a current kernel?
I seem to recall that when using a Novena Laptop I had on loan — and where Jessie came pre-installed — the kernel was updated via simply apt-get upgrade. Although I could be wrong...