Bug#801463: BUG: unable to handle kernel NULL pointer dereference at 00000001 in smp_apic_timer_interrupt

[Richard Kettlewell <rjk@greenend.org.uk>]

On 2015-10-10 18:49, Ben Hutchings wrote:
> This looks rather like a hardware failure, as the instruction pointer
> is pointing to the middle of an instruction.  Here's the disassembly of
>  smp_apic_timer_interrupt:

Thanks for the diagnosis.  Time to spend some money l-/

For future reference, is there a convenient way to get a disassembly
corresponding to the kernel I have installed?

ttfn/rjk