And for uboot:
ubuntu@ubuntu:~$ dpkg -l | grep u-boot
ii u-boot-rpi:armhf 2016.01+dfsg1-2ubuntu2 armhf
A boot loader for Raspberry PI systems
ii u-boot-tools 2016.01+dfsg1-2ubuntu2 armhf
companion tools for Das U-Boot bootloader
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1636838
Title:
Failed to boot
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/flash-kernel/+bug/1636838/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs