summaryrefslogtreecommitdiff
path: root/libre-testing
diff options
context:
space:
mode:
authorDenis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>2019-01-15 02:03:35 +0100
committerDenis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>2019-01-15 02:04:38 +0100
commit4efabdd4fcc19c30b09f49d1ec4d69fb110e8e29 (patch)
tree97d4ba365333ea496eba2745dcab7994305c5695 /libre-testing
parent48f0a2adf0d969ffa8110e1efb42a5bde0d29794 (diff)
[libre-testing]: barebox: install instructions: add missing partition type
Changing the partition type on a BeagleBone green made the bootrom not pick the bootloader anymore. TODO before migrating barebox and barebox-tools to libre: - Make sure that Parabola can fully boot once barebox is installed, without having to mess with the environment through the serial port. TODO: - Add an installation script to install barebox in a way that is similar to what people are used with GRUB. - Enable USB console at boot - Add support for other architectures (i686, x86_64) Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'libre-testing')
-rw-r--r--libre-testing/barebox/PKGBUILD2
-rw-r--r--libre-testing/barebox/barebox.install2
2 files changed, 2 insertions, 2 deletions
diff --git a/libre-testing/barebox/PKGBUILD b/libre-testing/barebox/PKGBUILD
index 47dd21280..30003fd7a 100644
--- a/libre-testing/barebox/PKGBUILD
+++ b/libre-testing/barebox/PKGBUILD
@@ -4,7 +4,7 @@
_pkgname=barebox
pkgname=barebox-am335x
pkgver=2018.12.0
-pkgrel=2
+pkgrel=3
pkgdesc="Barebox for devices with an am335x system on a chip"
arch=('armv7h')
makedepends=('lzop')
diff --git a/libre-testing/barebox/barebox.install b/libre-testing/barebox/barebox.install
index dfe689b82..0e019c5f6 100644
--- a/libre-testing/barebox/barebox.install
+++ b/libre-testing/barebox/barebox.install
@@ -5,7 +5,7 @@ install_barebox() {
echo " - which boot media it supports"
echo " - in which order it tries to boot on them"
echo "- The boot media(the microSD or eMMC) is partitioned with MBR"
- echo "- The boot partition has the bootable flag set. It can be set with fdisk."
+ echo "- The boot partition type is 0x0b (W95 FAT32) and has the bootable flag set. Both can be set with fdisk."
echo "- Your boot partition is formatted in FAT12, FAT16 or FAT32"
echo ""
echo "Note that in some case it may not work if your boot media that is smaller than 4GB"