Your message dated Sun, 16 Jun 2013 17:51:04 +0100 with message-id <1371401464.14788.38.camel@deadeye.wl.decadent.org.uk> and subject line Re: Bug#712487: (no subject) has caused the Debian Bug report #712487, regarding linux-image-3.2.0-4-amd64: Modifying/deleting an EFI variable with efibootmgr causes kernel oops to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 712487: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712487 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: linux-image-3.2.0-4-amd64: Modifying/deleting an EFI variable with efibootmgr causes kernel oops
- From: Gary Hawkins <gary.hawkins@garyhawkins.me.uk>
- Date: Sun, 16 Jun 2013 13:08:57 +0100
- Message-id: <[🔎] 20130616120857.2614.1789.reportbug@xmpp.garyhawkins.me.uk>
Package: src:linux Version: 3.2.46-1 Severity: important Dear Maintainer, * What led up to the situation? Using efibootmgr to add or delete an EFI variable or change the boot order. Viewing the EFI variables does not cause this oops until you try to add/delete/modify EFI variables. The test system was a wheezy.1 kvm guest running on a wheezy.1 kvm host. The guest is running OVMF r14397 UEFI firmware (built from source) without CSM or Secure Boot support enabled. efibootmgr was run on the kvm guest. * What exactly did you do (or not do) that was effective (or ineffective)? I ran efibootmgr to update the EFI variable store. I tried an add, delete, and change bootorder action. * What was the outcome of this action? Kernel oops, and the EFI variable change requested was not performed. Further uses of efibootmgr (even just to view EFI variables) do not work correctly. * What outcome did you expect instead? No kernel oops, and efibootmgr should have modifed EFI variables correctly. -- Package-specific info: ** Version: Linux version 3.2.0-4-amd64 (debian-kernel@lists.debian.org) (gcc version 4.6.3 (Debian 4.6.3-14) ) #1 SMP Debian 3.2.46-1 ** Command line: BOOT_IMAGE=/boot/vmlinuz-3.2.0-4-amd64 root=UUID=64f3a3f9-8487-45db-855b-8bb35e4b9d6c ro quiet ** Tainted: D (128) * Kernel has oopsed before. ** Kernel log: [ 0.329999] uhci_hcd: USB Universal Host Controller Interface driver [ 0.330046] uhci_hcd 0000:00:01.2: setting latency timer to 64 [ 0.330051] uhci_hcd 0000:00:01.2: UHCI Host Controller [ 0.330068] uhci_hcd 0000:00:01.2: new USB bus registered, assigned bus number 1 [ 0.330134] uhci_hcd 0000:00:01.2: irq 10, io base 0x0000c0c0 [ 0.330171] usb usb1: New USB device found, idVendor=1d6b, idProduct=0001 [ 0.330173] usb usb1: New USB device strings: Mfr=3, Product=2, SerialNumber=1 [ 0.330174] usb usb1: Product: UHCI Host Controller [ 0.330175] usb usb1: Manufacturer: Linux 3.2.0-4-amd64 uhci_hcd [ 0.330178] usb usb1: SerialNumber: 0000:00:01.2 [ 0.336383] hub 1-0:1.0: USB hub found [ 0.336387] hub 1-0:1.0: 2 ports detected [ 0.336608] libata version 3.00 loaded. [ 0.336786] ata_piix 0000:00:01.1: version 2.13 [ 0.336849] ata_piix 0000:00:01.1: setting latency timer to 64 [ 0.345523] scsi0 : ata_piix [ 0.351501] scsi1 : ata_piix [ 0.351533] ata1: PATA max MWDMA2 cmd 0x1f0 ctl 0x3f6 bmdma 0xc0e0 irq 14 [ 0.351534] ata2: PATA max MWDMA2 cmd 0x170 ctl 0x376 bmdma 0xc0e8 irq 15 [ 0.355070] ata1: port disabled--ignoring [ 0.355111] ata2: port disabled--ignoring [ 0.364313] FDC 0 is a S82078B [ 0.365303] virtio-pci 0000:00:04.0: irq 40 for MSI/MSI-X [ 0.365316] virtio-pci 0000:00:04.0: irq 41 for MSI/MSI-X [ 0.382044] virtio-pci 0000:00:03.0: irq 42 for MSI/MSI-X [ 0.382079] virtio-pci 0000:00:03.0: irq 43 for MSI/MSI-X [ 0.382110] virtio-pci 0000:00:03.0: irq 44 for MSI/MSI-X [ 0.488264] vda: vda1 vda2 vda3 [ 0.489984] virtio-pci 0000:00:05.0: irq 45 for MSI/MSI-X [ 0.490016] virtio-pci 0000:00:05.0: irq 46 for MSI/MSI-X [ 0.520426] vdb: unknown partition table [ 0.668037] usb 1-1: new full-speed USB device number 2 using uhci_hcd [ 0.734098] EXT4-fs (vda3): mounted filesystem with ordered data mode. Opts: (null) [ 0.956325] usb 1-1: New USB device found, idVendor=0627, idProduct=0001 [ 0.956331] usb 1-1: New USB device strings: Mfr=1, Product=3, SerialNumber=5 [ 0.956334] usb 1-1: Product: QEMU USB Tablet [ 0.956336] usb 1-1: Manufacturer: QEMU 1.1.2 [ 0.956338] usb 1-1: SerialNumber: 42 [ 1.799787] udevd[282]: starting version 175 [ 1.922979] WARNING! power/level is deprecated; use power/control instead [ 1.961739] input: Power Button as /devices/LNXSYSTM:00/LNXPWRBN:00/input/input1 [ 1.961744] ACPI: Power Button [PWRF] [ 1.983150] EFI Variables Facility v0.08 2004-May-17 [ 2.171207] input: PC Speaker as /devices/platform/pcspkr/input/input2 [ 2.197602] piix4_smbus 0000:00:01.3: SMBus Host Controller at 0xb100, revision 0 [ 2.216072] alg: No test for __gcm-aes-aesni (__driver-gcm-aes-aesni) [ 2.246738] Error: Driver 'pcspkr' is already registered, aborting... [ 2.345902] parport_pc 00:0b: reported by Plug and Play ACPI [ 2.354356] input: QEMU 1.1.2 QEMU USB Tablet as /devices/pci0000:00/0000:00:01.2/usb1/1-1/1-1:1.0/input/input3 [ 2.354616] generic-usb 0003:0627:0001.0001: input,hidraw0: USB HID v0.01 Pointer [QEMU 1.1.2 QEMU USB Tablet] on usb-0000:00:01.2-1/input0 [ 2.354640] usbcore: registered new interface driver usbhid [ 2.354643] usbhid: USB HID core driver [ 3.036899] input: ImExPS/2 Generic Explorer Mouse as /devices/platform/i8042/serio1/input/input4 [ 3.118694] Adding 524284k swap on /dev/vdb. Priority:-1 extents:1 across:524284k [ 3.131961] EXT4-fs (vda3): re-mounted. Opts: (null) [ 4.583657] EXT4-fs (vda3): re-mounted. Opts: errors=remount-ro [ 4.649636] loop: module loaded [ 4.703572] 8021q: 802.1Q VLAN Support v1.8 [ 5.253779] FAT-fs (vda1): utf8 is not a recommended IO charset for FAT filesystems, filesystem will be case sensitive! [ 5.549780] 8021q: adding VLAN 0 to HW filter on device eth0 [ 8.644812] ip_tables: (C) 2000-2006 Netfilter Core Team [ 8.977284] Bridge firewalling registered [ 164.062948] BUG: unable to handle kernel paging request at 000000000fbf1a98 [ 164.063118] IP: [<ffff88000fbc4fc1>] 0xffff88000fbc4fc0 [ 164.063253] PGD bbeb067 PUD d341067 PMD 0 [ 164.063384] Oops: 0000 [#1] SMP [ 164.063497] CPU 0 [ 164.063520] Modules linked in: bridge xt_multiport iptable_filter ip_tables x_tables nls_utf8 nls_cp437 vfat fat 8021q garp stp loop psmouse serio_raw joydev parport_pc usbhid hid parport snd_pcm crc32c_intel snd_page_alloc snd_timer ghash_clmulni_intel aesni_intel snd aes_x86_64 i2c_piix4 soundcore aes_generic pcspkr cryptd virtio_balloon evdev i2c_core efivars button ext4 crc16 jbd2 mbcache virtio_net virtio_blk ata_generic floppy ata_piix libata uhci_hcd ehci_hcd virtio_pci virtio_ring virtio usbcore usb_common scsi_mod [last unloaded: scsi_wait_scan] [ 164.064741] [ 164.064830] Pid: 2264, comm: efibootmgr Not tainted 3.2.0-4-amd64 #1 Debian 3.2.46-1 [ 164.064995] RIP: 0010:[<ffff88000fbc4fc1>] [<ffff88000fbc4fc1>] 0xffff88000fbc4fc0 [ 164.065068] RSP: 0018:ffff88000b4ddcb0 EFLAGS: 00010086 [ 164.065068] RAX: 000000000fbf1a98 RBX: fffffffffffffffb RCX: 000000000fbf1a98 [ 164.065068] RDX: ffff88000af3d400 RSI: ffff88000af3d000 RDI: ffff88000fbf5630 [ 164.065068] RBP: ffff88000b4ddcb0 R08: 0000000000000007 R09: 0000000000000004 [ 164.065068] R10: 0000000000000200 R11: ffffffffa01444ef R12: ffffffffa01453d0 [ 164.065068] R13: ffff88000af3d418 R14: 0000000000000004 R15: 0000000000000000 [ 164.065068] FS: 00007f761eda8700(0000) GS:ffff88000d600000(0000) knlGS:0000000000000000 [ 164.065068] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033 [ 164.065068] CR2: 000000000fbf1a98 CR3: 000000000b4e3000 CR4: 00000000000406f0 [ 164.065068] DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000 [ 164.065068] DR3: 0000000000000000 DR6: 00000000ffff0ff0 DR7: 0000000000000400 [ 164.065068] Process efibootmgr (pid: 2264, threadinfo ffff88000b4dc000, task ffff88000dc97160) [ 164.065068] Stack: [ 164.065068] ffff88000b4ddd00 ffff88000fbc4c17 000000000fbf1a98 fffffffffffffffb [ 164.065068] ffff88000b4ddd00 ffff88000fbc5574 ffff88000fbf5648 ffff88000fbbf560 [ 164.065068] ffff88000b4ddd20 ffff88000fbf5630 ffff88000b4ddda0 ffff88000fbc37ce [ 164.065068] Call Trace: [ 164.065068] [<ffffffff81034ae6>] ? efi_call4+0x46/0x80 [ 164.065068] [<ffffffff81034b6b>] ? efi_call5+0x4b/0x80 [ 164.065068] [<ffffffffa0142350>] ? efivar_store_raw+0x16d/0x1d1 [efivars] [ 164.065068] [<ffffffff8114ec0b>] ? sysfs_write_file+0xe0/0x11c [ 164.065068] [<ffffffff810fa35d>] ? vfs_write+0xa2/0xe9 [ 164.065068] [<ffffffff810fa53a>] ? sys_write+0x45/0x6b [ 164.065068] [<ffffffff81353b52>] ? system_call_fastpath+0x16/0x1b [ 164.065068] Code: ca 48 8b 45 10 0f b6 00 0f be d0 48 8b 45 18 0f b6 00 0f be c0 89 d1 29 c1 89 c8 48 98 5d c3 55 48 89 e5 48 89 4d 10 48 8b 45 10 <48> 8b 00 5d c3 55 48 89 e5 48 89 4d 10 48 89 55 18 48 8b 45 10 [ 164.065068] RIP [<ffff88000fbc4fc1>] 0xffff88000fbc4fc0 [ 164.065068] RSP <ffff88000b4ddcb0> [ 164.065068] CR2: 000000000fbf1a98 [ 164.065068] ---[ end trace 10d4cb7687261dce ]--- ** Model information not available ** Loaded modules: bridge xt_multiport iptable_filter ip_tables x_tables nls_utf8 nls_cp437 vfat fat 8021q garp stp loop psmouse serio_raw joydev parport_pc usbhid hid parport snd_pcm crc32c_intel snd_page_alloc snd_timer ghash_clmulni_intel aesni_intel snd aes_x86_64 i2c_piix4 soundcore aes_generic pcspkr cryptd virtio_balloon evdev i2c_core efivars button ext4 crc16 jbd2 mbcache virtio_net virtio_blk ata_generic floppy ata_piix libata uhci_hcd ehci_hcd virtio_pci virtio_ring virtio usbcore usb_common scsi_mod ** Network interface configuration: # This file describes the network interfaces available on your system # and how to activate them. For more information, see interfaces(5). # The loopback network interface auto lo iface lo inet loopback # The primary network interface allow-hotplug eth0 auto eth0 iface eth0 inet static address 178.238.157.69 netmask 255.255.255.224 gateway 178.238.157.65 ** Network status: *** IP interfaces and addresses: 1: lo: <LOOPBACK,UP,LOWER_UP> mtu 16436 qdisc noqueue state UNKNOWN link/loopback 00:00:00:00:00:00 brd 00:00:00:00:00:00 inet 127.0.0.1/8 scope host lo inet6 ::1/128 scope host valid_lft forever preferred_lft forever 2: eth0: <BROADCAST,MULTICAST,UP,LOWER_UP> mtu 1500 qdisc pfifo_fast state UP qlen 1000 link/ether 02:00:00:00:00:05 brd ff:ff:ff:ff:ff:ff inet 178.238.157.69/27 brd 178.238.157.95 scope global eth0 inet6 2001:8b0:127::ff:fe00:5/64 scope global dynamic valid_lft 3585sec preferred_lft 1785sec inet6 fe80::ff:fe00:5/64 scope link valid_lft forever preferred_lft forever *** Device statistics: Inter-| Receive | Transmit face |bytes packets errs drop fifo frame compressed multicast|bytes packets errs drop fifo colls carrier compressed lo: 5712 77 0 0 0 0 0 0 5712 77 0 0 0 0 0 0 eth0: 2088433 3349 0 1 0 0 0 0 781162 2605 0 0 0 0 0 0 *** Protocol statistics: Ip: 386 total packets received 0 forwarded 0 incoming packets discarded 341 incoming packets delivered 339 requests sent out Icmp: 0 ICMP messages received 0 input ICMP message failed. ICMP input histogram: 0 ICMP messages sent 0 ICMP messages failed ICMP output histogram: Tcp: 28 active connections openings 18 passive connection openings 4 failed connection attempts 0 connection resets received 22 connections established 3202 segments received 2662 segments send out 8 segments retransmited 0 bad segments received. 1 resets sent Udp: 76 packets received 0 packets to unknown port received. 0 packet receive errors 76 packets sent UdpLite: TcpExt: 2 resets received for embryonic SYN_RECV sockets 12 TCP sockets finished time wait in fast timer 72 delayed acks sent 1 packets directly queued to recvmsg prequeue. 1448 packet headers predicted 302 acknowledgments not containing data payload received 1308 predicted acknowledgments 1 times recovered from packet loss by selective acknowledgements 1 congestion windows recovered without slow start by DSACK 4 congestion windows recovered without slow start after partial ack 2 fast retransmits 2 forward retransmits 4 other TCP timeouts 8 DSACKs received TCPDSACKIgnoredNoUndo: 3 TCPSackShiftFallback: 4 IPReversePathFilter: 1 IpExt: InOctets: 97357 OutOctets: 58588 ** PCI devices: 00:00.0 Host bridge [0600]: Intel Corporation 440FX - 82441FX PMC [Natoma] [8086:1237] (rev 02) Subsystem: Red Hat, Inc Qemu virtual machine [1af4:1100] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx- Status: Cap- 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 00:01.0 ISA bridge [0601]: Intel Corporation 82371SB PIIX3 ISA [Natoma/Triton II] [8086:7000] Subsystem: Red Hat, Inc Qemu virtual machine [1af4:1100] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx- Status: Cap- 66MHz- UDF- FastB2B- ParErr- DEVSEL=medium >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 00:01.1 IDE interface [0101]: Intel Corporation 82371SB PIIX3 IDE [Natoma/Triton II] [8086:7010] (prog-if 80 [Master]) Subsystem: Red Hat, Inc Qemu virtual machine [1af4:1100] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx- Status: Cap- 66MHz- UDF- FastB2B+ ParErr- DEVSEL=medium >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Region 0: [virtual] Memory at 000001f0 (32-bit, non-prefetchable) [size=8] Region 1: [virtual] Memory at 000003f0 (type 3, non-prefetchable) [size=1] Region 2: [virtual] Memory at 00000170 (32-bit, non-prefetchable) [size=8] Region 3: [virtual] Memory at 00000370 (type 3, non-prefetchable) [size=1] Region 4: I/O ports at c0e0 [size=16] Kernel driver in use: ata_piix 00:01.2 USB controller [0c03]: Intel Corporation 82371SB PIIX3 USB [Natoma/Triton II] [8086:7020] (rev 01) (prog-if 00 [UHCI]) Subsystem: Red Hat, Inc Qemu virtual machine [1af4:1100] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx- Status: Cap- 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin D routed to IRQ 10 Region 4: I/O ports at c0c0 [size=32] Kernel driver in use: uhci_hcd 00:01.3 Bridge [0680]: Intel Corporation 82371AB/EB/MB PIIX4 ACPI [8086:7113] (rev 03) Subsystem: Red Hat, Inc Qemu virtual machine [1af4:1100] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx- Status: Cap- 66MHz- UDF- FastB2B+ ParErr- DEVSEL=medium >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin A routed to IRQ 9 Kernel driver in use: piix4_smbus 00:02.0 VGA compatible controller [0300]: Cirrus Logic GD 5446 [1013:00b8] (prog-if 00 [VGA controller]) Subsystem: Red Hat, Inc Device [1af4:1100] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx- Status: Cap- 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Region 0: Memory at 80000000 (32-bit, prefetchable) [size=32M] Region 1: Memory at 82003000 (32-bit, non-prefetchable) [size=4K] Expansion ROM at 10000000 [disabled] [size=64K] 00:03.0 Ethernet controller [0200]: Red Hat, Inc Virtio network device [1af4:1000] Subsystem: Red Hat, Inc Device [1af4:0001] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx+ Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin A routed to IRQ 11 Region 0: I/O ports at c0a0 [size=32] Region 1: Memory at 82002000 (32-bit, non-prefetchable) [size=4K] Expansion ROM at 10010000 [disabled] [size=64K] Capabilities: [40] MSI-X: Enable+ Count=3 Masked- Vector table: BAR=1 offset=00000000 PBA: BAR=1 offset=00000800 Kernel driver in use: virtio-pci 00:04.0 SCSI storage controller [0100]: Red Hat, Inc Virtio block device [1af4:1001] Subsystem: Red Hat, Inc Device [1af4:0002] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx+ Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin A routed to IRQ 10 Region 0: I/O ports at c040 [size=64] Region 1: Memory at 82001000 (32-bit, non-prefetchable) [size=4K] Capabilities: [40] MSI-X: Enable+ Count=2 Masked- Vector table: BAR=1 offset=00000000 PBA: BAR=1 offset=00000800 Kernel driver in use: virtio-pci 00:05.0 SCSI storage controller [0100]: Red Hat, Inc Virtio block device [1af4:1001] Subsystem: Red Hat, Inc Device [1af4:0002] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx+ Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin A routed to IRQ 11 Region 0: I/O ports at c000 [size=64] Region 1: Memory at 82000000 (32-bit, non-prefetchable) [size=4K] Capabilities: [40] MSI-X: Enable+ Count=2 Masked- Vector table: BAR=1 offset=00000000 PBA: BAR=1 offset=00000800 Kernel driver in use: virtio-pci 00:06.0 RAM memory [0500]: Red Hat, Inc Virtio memory balloon [1af4:1002] Subsystem: Red Hat, Inc Device [1af4:0005] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx- Status: Cap- 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin A routed to IRQ 10 Region 0: I/O ports at c080 [size=32] Kernel driver in use: virtio-pci ** USB devices: Bus 001 Device 001: ID 1d6b:0001 Linux Foundation 1.1 root hub Bus 001 Device 002: ID 0627:0001 Adomax Technology Co., Ltd -- System Information: Debian Release: 7.1 APT prefers stable APT policy: (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 3.2.0-4-amd64 (SMP w/1 CPU core) Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages linux-image-3.2.0-4-amd64 depends on: ii debconf [debconf-2.0] 1.5.49 ii initramfs-tools [linux-initramfs-tool] 0.109.1 ii kmod 9-3 ii linux-base 3.5 ii module-init-tools 9-3 Versions of packages linux-image-3.2.0-4-amd64 recommends: ii firmware-linux-free 3.2 Versions of packages linux-image-3.2.0-4-amd64 suggests: pn debian-kernel-handbook <none> pn grub-pc | extlinux | lilo <none> pn linux-doc-3.2 <none> Versions of packages linux-image-3.2.0-4-amd64 is related to: pn firmware-atheros <none> pn firmware-bnx2 <none> pn firmware-bnx2x <none> pn firmware-brcm80211 <none> pn firmware-intelwimax <none> pn firmware-ipw2x00 <none> pn firmware-ivtv <none> pn firmware-iwlwifi <none> pn firmware-libertas <none> pn firmware-linux <none> pn firmware-linux-nonfree <none> pn firmware-myricom <none> pn firmware-netxen <none> pn firmware-qlogic <none> pn firmware-ralink <none> pn firmware-realtek <none> pn xen-hypervisor <none> -- debconf information: linux-image-3.2.0-4-amd64/postinst/depmod-error-initrd-3.2.0-4-amd64: false linux-image-3.2.0-4-amd64/prerm/removing-running-kernel-3.2.0-4-amd64: true linux-image-3.2.0-4-amd64/postinst/ignoring-ramdisk: linux-image-3.2.0-4-amd64/postinst/missing-firmware-3.2.0-4-amd64:
--- End Message ---
--- Begin Message ---
- To: 712487-done@bugs.debian.org
- Subject: Re: Bug#712487: (no subject)
- From: Ben Hutchings <ben@decadent.org.uk>
- Date: Sun, 16 Jun 2013 17:51:04 +0100
- Message-id: <1371401464.14788.38.camel@deadeye.wl.decadent.org.uk>
- In-reply-to: <[🔎] 51BDE762.3000306@garyhawkins.me.uk>
- References: <[🔎] 51BDE762.3000306@garyhawkins.me.uk>
On Sun, 2013-06-16 at 17:27 +0100, Gary Hawkins wrote: > It appears that OVMF r14423 which I've compiled just now (after I > discovered that I wasn't on the latest OVMF as they'd move the svn > repository) no longer causes the kernel to oops and seems to make > efibootmgr work properly. So, not a kernel bug at all. Ben. -- Ben Hutchings Klipstein's 4th Law of Prototyping and Production: A fail-safe circuit will destroy others.Attachment: signature.asc
Description: This is a digitally signed message part
--- End Message ---