I'll look at it I'm ca 1h afk. That's possible, the kernel configs may use y instead of m, but I checked that they're all there. I think that the configs should probably be changed, or wdyt? On Sep 29, 2016 10:41 AM, "Ludovic Courtès" wrote: > Hi David, > > David Craven skribis: > > > * gnu/packages/linux.scm (%default-extra-linux-options): Remove > > redundant options. > > This patches appears to break things: > > --8<---------------cut here---------------start------------->8--- > $ sudo ./pre-inst-env guix system reconfigure ~/src/configuration/pluto-configuration.scm > --fallback > > [...] > > Backtrace: > In ice-9/boot-9.scm: > 157: 13 [catch #t # ...] > In unknown file: > ?: 12 [apply-smob/1 #] > In ice-9/boot-9.scm: > 63: 11 [call-with-prompt prompt0 ...] > In ice-9/eval.scm: > 432: 10 [eval # #] > In ice-9/boot-9.scm: > 2401: 9 [save-module-excursion # ice-9/boot-9.scm:4045:3 ()>] > 4050: 8 [#] > 1724: 7 [%start-stack load-stack # ice-9/boot-9.scm:4041:10 ()>] > 1729: 6 [#] > In unknown file: > ?: 5 [primitive-load "/gnu/store/8lmcdhipd7ccjpaqd3a8pbb2yvn9d7 > v0-linux-modules-builder"] > In ice-9/eval.scm: > 432: 4 [eval # ()] > 453: 3 [eval # ()] > 411: 2 [eval # ()] > In srfi/srfi-1.scm: > 578: 1 [map # ("ahci" "usb-storage" "uas" ...)] > In unknown file: > ?: 0 [scm-error misc-error #f ...] > > ERROR: In procedure scm-error: > ERROR: module not found "virtio_pci.ko" "/gnu/store/ > kzia9krx5ax1pm2pq5476v5fv71x36ai-linux-libre-4.7.5/lib/modules" > builder for `/gnu/store/x0jqyr639karxakl0q2807ka608g4k3n-linux-modules.drv' > failed with exit code 1 > --8<---------------cut here---------------end--------------->8--- > > “make check-system TESTS=basic” fails similarly. > > Indeed, most of the virtio modules disappeared: > > --8<---------------cut here---------------start------------->8--- > $ find "/gnu/store/kzia9krx5ax1pm2pq5476v5fv71x36ai-linux-libre-4.7.5/lib/modules" > -name virtio\* > /gnu/store/kzia9krx5ax1pm2pq5476v5fv71x36ai-linux-libre-4.7.5/lib/ > modules/4.7.5-gnu/kernel/drivers/char/hw_random/virtio-rng.ko > /gnu/store/kzia9krx5ax1pm2pq5476v5fv71x36ai-linux-libre-4.7.5/lib/ > modules/4.7.5-gnu/kernel/drivers/scsi/virtio_scsi.ko > /gnu/store/kzia9krx5ax1pm2pq5476v5fv71x36ai-linux-libre-4.7.5/lib/ > modules/4.7.5-gnu/kernel/drivers/gpu/drm/virtio > /gnu/store/kzia9krx5ax1pm2pq5476v5fv71x36ai-linux-libre-4.7.5/lib/ > modules/4.7.5-gnu/kernel/drivers/gpu/drm/virtio/virtio-gpu.ko > /gnu/store/kzia9krx5ax1pm2pq5476v5fv71x36ai-linux-libre-4.7.5/lib/ > modules/4.7.5-gnu/kernel/drivers/virtio > /gnu/store/kzia9krx5ax1pm2pq5476v5fv71x36ai-linux-libre-4.7.5/lib/ > modules/4.7.5-gnu/kernel/drivers/virtio/virtio_input.ko > --8<---------------cut here---------------end--------------->8--- > > I think we need to revert this patch. Could you please look at it? > > TIA! > > Ludo’. >