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