12-31-2020, 08:08 AM
Thanks for all you responses, folks. That helped me to troublehsoot this, and I can now confirm that I have Manjaro installed on my pinebook.
So it turns out there was something wrong with the SDCard I was using (it was a kingston 8GB SDHC). I got a new Sandisk 128GB SDXC card, and that worked first time. Of course, a bad SD card was not surprising, and I'd thought of that before, but in this case, I could mount and read the card, but it would not boot for some reason. Also to rule out a bad SD card, I was trying to use an USB drive, and I hadn't realised that USB is not in the boot path in the default uboot.
So it turns out there was something wrong with the SDCard I was using (it was a kingston 8GB SDHC). I got a new Sandisk 128GB SDXC card, and that worked first time. Of course, a bad SD card was not surprising, and I'd thought of that before, but in this case, I could mount and read the card, but it would not boot for some reason. Also to rule out a bad SD card, I was trying to use an USB drive, and I hadn't realised that USB is not in the boot path in the default uboot.