Re: Building installation image for ROCK64

2020-04-27 Thread Vagrant Cascadian
On 2020-04-27, Simon South wrote: > Vagrant Cascadian writes: >> With your current layout, parts of the bootloader may be written to the >> same offsets as files in your first partition... > > Yes, my mistake. Thanks for pointing that out. > >> You really want to have the loader1 (start sector 64,

Re: Building installation image for ROCK64

2020-04-27 Thread Simon South
Vagrant Cascadian writes: > With your current layout, parts of the bootloader may be written to the > same offsets as files in your first partition... Yes, my mistake. Thanks for pointing that out. > You really want to have the loader1 (start sector 64, 2.5MB size) and > loader2 (start sector 16

Re: Building installation image for ROCK64

2020-04-26 Thread Vagrant Cascadian
On 2020-04-26, Simon South wrote: > From there, log in to the ROCK64 as the superuser. Using fdisk, prepare > a microSD card (/dev/mmcblk0) with a GPT partition table and a single > partition beginning at sector 2,048. With your current layout, parts of the bootloader may be written to the same of

Re: Building installation image for ROCK64

2020-04-26 Thread Simon South
Vagrant, Thanks to help from you, Pierre Langlois and a few others on IRC I've had Guix System running on my ROCK64 for a while now. I thought I'd follow up with the configuration I used and some notes in case it's helpful to someone else down the road: I started with an existing GNU/Linux distri

Re: Building installation image for ROCK64

2020-04-12 Thread Simon South
Pierre Langlois writes: > You probably noticed this takes a *long* time to run, making it quite > tedious to test changes (I believe this is being worked on though). > > In the meanwhile, what you can do instead is setup the SD card > manually... Thanks, this should be a BIG help. It takes around

Re: Building installation image for ROCK64

2020-04-12 Thread Simon South
Vagrant Cascadian writes: > This might avoid playing whack-a-mole with arbitrarily complex sets of > drivers: > >(kernel linux-libre-arm64-generic) >(initrd-modules '()) Thanks, Vagrant. That definitely got me further, though the machine still fails to finish booting: [0.243248] r

Re: Building installation image for ROCK64

2020-04-12 Thread Pierre Langlois
Hi Simon, Simon South writes: > Has anyone successfully built an installation image for a PINE64 ROCK64 > ARM SBC? I managed to setup a ROCKPRO64 a few months ago (rk3399 chipset instead of rk3328), maybe I can help :-). > > There's a definition for it in gnu/system/install.scm, but building th

Re: Building installation image for ROCK64

2020-04-12 Thread Pierre Langlois
Pierre Langlois writes: > Hi Simon, > > Simon South writes: > >> Has anyone successfully built an installation image for a PINE64 ROCK64 >> ARM SBC? > > I managed to setup a ROCKPRO64 a few months ago (rk3399 chipset instead > of rk3328), maybe I can help :-). > >> >> There's a definition for it

Re: Building installation image for ROCK64

2020-04-11 Thread Vagrant Cascadian
On 2020-04-11, Simon South wrote: > Has anyone successfully built an installation image for a PINE64 ROCK64 > ARM SBC? I haven't tested it yet... > > There's a definition for it in gnu/system/install.scm, but building the > image with > > guix system disk-image --system=aarch64-linux \ > -e

Building installation image for ROCK64

2020-04-11 Thread Simon South
Has anyone successfully built an installation image for a PINE64 ROCK64 ARM SBC? There's a definition for it in gnu/system/install.scm, but building the image with guix system disk-image --system=aarch64-linux \ -e "(@ (gnu system install) rock64-installation-os)" and writing it to a micro