Now I get: $ # commit 39c676c4a3507863f4edf20b225ace4cbf646ed6 $ ./pre-inst-env guix system disk-image --system=armhf-linux -e '(begin (use-modules (gnu system) (gnu bootloader) (gnu bootloader u-boot) (gnu system install)) (operating-system (inherit installation-os) (bootloader (bootloader-configuration (bootloader u-boot-bootloader) (target #f)))))' >QQQ3 2>&1 [...] The following derivation will be built: /gnu/store/shgfclh6yy1a03hl0c293s89y3qm9033-disk-image.drv building /gnu/store/shgfclh6yy1a03hl0c293s89y3qm9033-disk-image.drv... environment variable `PATH' set to `/gnu/store/cm3j1pzdqhw4s9bg1drwlm3lw3qxzddj-qemu-minimal-3.1.0/bin:/gnu/store/hb2qj35yxmvxzcq99lbfcpija032wdzh-coreutils-8.30/bin' creating raw image of 1265.54 MiB... Formatting '/gnu/store/9wbw2vbpgg3pwlg9xr7jbniyca0nra2q-disk-image', fmt=raw size=1327019190 [ 0.000000] Booting Linux on physical CPU 0x0 [ 0.000000] Linux version 4.19.11-gnu (nixbld@) (gcc version 5.5.0 (GCC)) #1 SMP 1 [ 0.000000] CPU: ARMv7 Processor [412fc0f1] revision 1 (ARMv7), cr=10c5387d [ 0.000000] CPU: div instructions available: patching division code [ 0.000000] CPU: PIPT / VIPT nonaliasing data cache, PIPT instruction cache [ 0.000000] OF: fdt: Machine model: linux,dummy-virt [ 0.000000] Memory policy: Data cache writealloc [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. [ 0.000000] cma: Reserved 16 MiB at 0x4f000000 [ 0.000000] psci: probing for conduit method from DT. [ 0.000000] psci: PSCIv0.2 detected in firmware. [ 0.000000] psci: Using standard PSCI v0.2 function IDs [ 0.000000] psci: Trusted OS migration not required [ 0.000000] random: get_random_bytes called from start_kernel+0xa0/0x50c with crng_init=0 [ 0.000000] percpu: Embedded 17 pages/cpu @(ptrval) s38732 r8192 d22708 u69632 [ 0.000000] Built 1 zonelists, mobility grouping on. Total pages: 64960 [ 0.000000] Kernel command line: panic=1 --load=/gnu/store/ip9p4q62fbgm2r2xnnh8qi5p77k2igas-linux-vm-loader console=ttyAMA0 [ 0.000000] Dentry cache hash table entries: 32768 (order: 5, 131072 bytes) [ 0.000000] Inode-cache hash table entries: 16384 (order: 4, 65536 bytes) [ 0.000000] Memory: 214952K/262144K available (9216K kernel code, 1133K rwdata, 2612K rodata, 2048K init, 310K bss, 30808K reserved, 16384K cma-reserved, 0K highmem) [ 0.000000] Virtual kernel memory layout: [ 0.000000] vector : 0xffff0000 - 0xffff1000 ( 4 kB) [ 0.000000] fixmap : 0xffc00000 - 0xfff00000 (3072 kB) [ 0.000000] vmalloc : 0xd0800000 - 0xff800000 ( 752 MB) [ 0.000000] lowmem : 0xc0000000 - 0xd0000000 ( 256 MB) [ 0.000000] pkmap : 0xbfe00000 - 0xc0000000 ( 2 MB) [ 0.000000] modules : 0xbf000000 - 0xbfe00000 ( 14 MB) [ 0.000000] .text : 0x(ptrval) - 0x(ptrval) (10208 kB) [ 0.000000] .init : 0x(ptrval) - 0x(ptrval) (2048 kB) [ 0.000000] .data : 0x(ptrval) - 0x(ptrval) (1134 kB) [ 0.000000] .bss : 0x(ptrval) - 0x(ptrval) ( 311 kB) [ 0.000000] ftrace: allocating 33359 entries in 98 pages [ 0.000000] rcu: Hierarchical RCU implementation. [ 0.000000] rcu: RCU restricting CPUs from NR_CPUS=8 to nr_cpu_ids=1. [ 0.000000] rcu: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=1 [ 0.000000] NR_IRQS: 16, nr_irqs: 16, preallocated irqs: 16 [ 0.000000] GICv2m: range[mem 0x08020000-0x08020fff], SPI[80:143] [ 0.000000] arch_timer: cp15 timer(s) running at 62.50MHz (virt). [ 0.000000] clocksource: arch_sys_counter: mask: 0xffffffffffffff max_cycles: 0x1cd42e208c, max_idle_ns: 881590405314 ns [ 0.003589] sched_clock: 56 bits at 62MHz, resolution 16ns, wraps every 4398046511096ns [ 0.006045] Switching to timer-based delay loop, resolution 16ns [ 0.308537] Console: colour dummy device 80x30 [ 0.365555] Calibrating delay loop (skipped), value calculated using timer frequency.. 125.00 BogoMIPS (lpj=250000) [ 0.373670] pid_max: default: 32768 minimum: 301 [ 0.426475] Security Framework initialized [ 0.431096] Yama: becoming mindful. [ 0.506448] AppArmor: AppArmor initialized [ 0.535772] Mount-cache hash table entries: 1024 (order: 0, 4096 bytes) [ 0.543395] Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes) [ 0.965208] CPU: Testing write buffer coherency: ok [ 0.998104] CPU0: Spectre v2: firmware did not set auxiliary control register IBE bit, system vulnerable [ 1.411470] /cpus/cpu@0 missing clock-frequency property [ 1.428729] CPU0: thread -1, cpu 0, socket 0, mpidr 80000000 [ 1.698318] Setting up static identity map for 0x40100000 - 0x401000a0 [ 1.748454] rcu: Hierarchical SRCU implementation. [ 1.926086] EFI services will not be available. [ 1.993192] smp: Bringing up secondary CPUs ... [ 1.994874] smp: Brought up 1 node, 1 CPU [ 1.997851] SMP: Total of 1 processors activated (125.00 BogoMIPS). [ 1.998883] CPU: All CPU(s) started in SVC mode. [ 2.503281] devtmpfs: initialized [ 3.198070] VFP support v0.3: implementor 41 architecture 4 part 30 variant f rev 0 [ 3.746420] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns [ 3.775416] futex hash table entries: 256 (order: 2, 16384 bytes) [ 4.121161] pinctrl core: initialized pinctrl subsystem [ 4.513079] DMI not present or invalid. [ 4.901725] NET: Registered protocol family 16 [ 5.171532] DMA: preallocated 256 KiB pool for atomic coherent allocations [ 5.247930] audit: initializing netlink subsys (disabled) [ 5.429698] audit: type=2000 audit(3.640:1): state=initialized audit_enabled=0 res=1 [ 5.571864] No ATAGs? [ 5.603824] hw-breakpoint: found 5 (+1 reserved) breakpoint and 4 watchpoint registers. [ 5.605465] hw-breakpoint: maximum watchpoint size is 8 bytes. [ 5.716942] Serial: AMBA PL011 UART driver [ 6.689400] 9000000.pl011: ttyAMA0 at MMIO 0x9000000 (irq = 54, base_baud = 0) is a PL011 rev1 [ 6.818013] console [ttyAMA0] enabled [...] [ 73.272363] pl061_gpio 9030000.pl061: PL061 GPIO chip @0x09030000 registered [ 73.354536] pci-host-generic 4010000000.pcie: host bridge /pcie@10000000 ranges: [ 73.383612] pci-host-generic 4010000000.pcie: IO 0x3eff0000..0x3effffff -> 0x00000000 [ 73.405201] pci-host-generic 4010000000.pcie: MEM 0x10000000..0x3efeffff -> 0x10000000 [ 73.413035] pci-host-generic 4010000000.pcie: MEM 0x8000000000..0xffffffffff -> 0x8000000000 [ 73.449129] pci-host-generic 4010000000.pcie: can't claim ECAM area [mem 0x10000000-0x1fffffff]: address conflict with pcie@10000000 [mem 0x10000000-0x3efeffff] [ 73.511869] pci-host-generic: probe of 4010000000.pcie failed with error -16 [ 74.049180] Serial: 8250/16550 driver, 4 ports, IRQ sharing disabled [ 74.184595] Serial: AMBA driver [...] [ 78.969555] Run /init as init process [ 80.062608] hrtimer: interrupt took 110418352 ns 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... [ 135.306635] SCSI subsystem initialized [ 136.419610] Unable to handle kernel paging request at virtual address ea0003ff [ 136.432562] pgd = (ptrval) [ 136.434175] [ea0003ff] *pgd=00000000 [ 136.443714] Internal error: Oops: 5 [#1] SMP ARM [ 136.448388] Modules linked in: libata(+) scsi_mod [ 136.459458] CPU: 0 PID: 1 Comm: init Not tainted 4.19.11-gnu #1 [ 136.461282] Hardware name: Generic DT based system [ 136.477596] PC is at ata_attach_transport+0xd8/0x274 [libata] [ 136.483380] LR is at 0x124 [ 136.484240] pc : [] lr : [<00000124>] psr: 60000013 [ 136.485268] sp : ce0fdcf0 ip : ea0003ff fp : ce0fdd1c [ 136.486473] r10: 00000000 r9 : ea00041f r8 : ea00040f [ 136.487498] r7 : ce3fc8bc r6 : ce3fc8dc r5 : ce3fc8cc r4 : ce3fc800 [ 136.488614] r3 : ce0ed040 r2 : 00000000 r1 : c10d3b14 r0 : 00000000 [ 136.490476] Flags: nZCv IRQs on FIQs on Mode SVC_32 ISA ARM Segment none [ 136.492057] Control: 10c5387d Table: 4e34406a DAC: 00000051 [ 136.494159] Process init (pid: 1, stack limit = 0x(ptrval)) [ 136.495663] Stack: (0xce0fdcf0 to 0xce0fe000) [ 136.499157] dce0: 00000001 00000000 bf0778c8 c1005dcc [ 136.501950] dd00: bf079000 ffffffff bf078000 00000000 ce0fdd9c ce0fdd20 bf077c10 bf05c0c4 [ 136.504080] dd20: c0f1e6b0 bf06f140 c1005dcc ce0fdd38 c01ceb30 bf078000 ce0fdd54 ffffffff [ 136.506036] dd40: c0155458 c01ceb24 ce0fdd7c ce0fdd58 c01bbaac c01553d0 c10067b4 d082000c [ 136.508122] dd60: ce0fdda8 d0820000 d0821000 f28f9aeb ce0fdda4 bf06ef40 bf0778c8 c1005dcc [ 136.510236] dd80: 00000000 bf06ef4c bf06ef40 c1005dcc ce0fde14 ce0fdda0 c01035d8 bf0778d4 [ 136.512143] dda0: c0101a0c f28f9aeb ce327600 c0979f74 ce000600 ce000600 ce0fddd4 ce0fddc8 [ 136.514144] ddc0: c0979f74 c01ce7d0 ce0fde14 ce0fddd8 c0308ab4 c0979f50 ce0fde04 ce0fdde8 [ 136.516233] dde0: c0309c5c c03090e4 00000052 f28f9aeb ce0fdf38 bf06ef40 ce0fdf38 ce3321c0 [ 136.518293] de00: bf06f070 bf06ef4c ce0fde3c ce0fde18 c01fb75c c0103594 ce0fde3c ce0fde28 [ 136.520436] de20: c02f3410 00000000 ce0fdf38 bf06f040 ce0fdf14 ce0fde40 c01fa210 c01fb6f4 [ 136.522398] de40: ffff8000 00007fff bf06ef40 c01f778c ce0fde98 d0820000 c1005dcc c0a08334 [ 136.524853] de60: bf06f054 bf06ef44 00000a2c bf071000 014f9cf8 c0c3d374 ffffffff c0c5b674 [ 136.526866] de80: c0101204 ce0fc000 ce0fdf14 ce0fde98 bf062024 00000006 bf062054 000000bf [ 136.528885] dea0: 00000000 00000000 6e72656b 00006c65 00000000 00000000 00000000 00000000 [ 136.531078] dec0: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 [ 136.533045] dee0: 00000000 f28f9aeb 7fffffff c1005dcc 00000000 0000000a 014f9cf8 c0101204 [ 136.534976] df00: ce0fc000 0000017b ce0fdfa4 ce0fdf18 c01fa9c4 c01f84e4 7fffffff 00000000 [ 136.537150] df20: 00000003 ce0fc000 ce0fdf5c d08cf000 00051ca8 00000000 d08f06f3 d08fefc0 [ 136.539224] df40: d08cf000 00051ca8 d09201e0 d091ff38 d0909544 0002d000 0002f250 00000000 [ 136.541281] df60: 00000000 00000000 0001490c 00000042 00000043 0000003c 0000002a 0000001b [ 136.543248] df80: 00000000 f28f9aeb 00000004 b58dac90 00053e77 0000017b 00000000 ce0fdfa8 [ 136.545223] dfa0: c0101000 c01fa8f4 00000004 b58dac90 0000000a 014f9cf8 00000000 015bbf78 [ 136.548002] dfc0: 00000004 b58dac90 00053e77 0000017b 002b39d0 0029b25c 00161fec 00000002 [ 136.550771] dfe0: bec661d0 bec661c0 0005c7a9 0011d1e2 60000030 0000000a 00000000 00000000 [ 136.578059] [] (ata_attach_transport [libata]) from [] (ata_init+0x348/0x39c [libata]) [ 136.589371] [] (ata_init [libata]) from [] (do_one_initcall+0x50/0x214) [ 136.596083] [] (do_one_initcall) from [] (do_init_module+0x74/0x224) [ 136.598342] [] (do_init_module) from [] (load_module+0x1d38/0x2228) [ 136.599851] [] (load_module) from [] (sys_finit_module+0xdc/0x110) [ 136.601640] [] (sys_finit_module) from [] (ret_fast_syscall+0x0/0x54) [ 136.603227] Exception stack(0xce0fdfa8 to 0xce0fdff0) [ 136.605053] dfa0: 00000004 b58dac90 0000000a 014f9cf8 00000000 015bbf78 [ 136.607122] dfc0: 00000004 b58dac90 00053e77 0000017b 002b39d0 0029b25c 00161fec 00000002 [ 136.608630] dfe0: bec661d0 bec661c0 0005c7a9 0011d1e2 [ 136.616749] Code: e59fc1a0 e3a0ef49 e28c8010 e28c9020 (e89c000f) [ 136.631449] ---[ end trace c34b1e9ba28742f3 ]--- And then it hangs seemingly indefinitely.