Re: Building installation image for ROCK64

[Simon South]

Vagrant Cascadian <address@hidden> 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] rockchip-pinctrl pinctrl: pin gpio0-2 already requested by 
vcc-host-5v-regulator; cannot claim for vcc-host1-5v-regulator
  [    0.243264] rockchip-pinctrl pinctrl: pin-2 (vcc-host1-5v-regulator) 
status -22
  [    0.243279] rockchip-pinctrl pinctrl: could not request pin 2 (gpio0-2) 
from group usb20-host-drv  on device rockchip-pinctrl
  [    0.243291] reg-fixed-voltage vcc-host1-5v-regulator: Error applying 
setting, reverse things back
  GC Warning: pthread_getattr_np or pthread_attr_getstack failed for main thread
  GC Warning: Couldn't read /proc/stat
  Welcome, this is GNU's early boot Guile.
  Use '--repl' for an initrd REPL.

  loading kernel modules...
  loading '/gnu/store/6a4pyi34awj0jkd6ipl39dylj675ipxm-system/boot'...
  ERROR: In procedure open-file:
  In procedure open-file: No such file or directory: "/var/run/utmpx"

  Entering a new prompt.  Type `,bt' for a backtrace or `,q' to continue.
  GNU Guile 2.2.6
  Copyright (C) 1995-2019 Free Software Foundation, Inc.

I assume the missing file is the actual reason for the failure and
whatever's going on with the voltage-regulator drivers is unimportant
for now. Any chance something in the output above rings a bell?

I'll start diagnosing from here---it's probably time to write a real
"operating-system" definition for this machine and see what a newly
generated image contains.

-- 
Simon South
address@hidden