[Barrelfish-users] x86_64 kernel crash on simics, latest release

[Georgios Varisteas]

Hi,

I've got a new issue with the latest release verified with a fresh untouched clone. The kernel fails on the Simics simulator. The line specified (:90) is an assertion I entered to make sure of the exact source. Removing it will fail a preexisting assertion at kernel/arch/x86_64/startup_arch.c:412

Same image boots on Qemu. Simics has never had an issue with any release going back to 2011.

cheers,
Georgios


Kernel starting at address 0xffffff8006858000
Barrelfish CPU driver starting on x86_64 apic_id 0
kernel 0: Measured 10000098 APIC timer counts in one RTC second, 24986 data points.
kernel 0: Measured 1999999 TSC counts per ms, 99 data points. Average jitter 5 TSC ticks.
spawn module: x86_64/sbin/init
Raw MMAP from BIOS
        0x00000000 - 0x0009f400 Type: 1 Length: 0x9f400
        0x0009f400 - 0x000a0000 Type: 2 Length: 0xc00
        0x000f0000 - 0x00100000 Type: 2 Length: 0x10000
        0x00100000 - 0xdfffd000 Type: 1 Length: 0xdfefd000
        0xdfffd000 - 0xe0000000 Type: 2 Length: 0x3000
        0xfffc0000 - 0x100000000 Type: 2 Length: 0x40000
        0x100000000 - 0x1bff00000 Type: 1 Length: 0xbff00000
Sorted MMAP
        0x00000000 - 0x0009f400 Type: 1 Length: 0x9f400
        0x0009f400 - 0x000a0000 Type: 2 Length: 0xc00
        0x000f0000 - 0x00100000 Type: 2 Length: 0x10000
        0x00100000 - 0xdfffd000 Type: 1 Length: 0xdfefd000
        0xdfffd000 - 0xe0000000 Type: 2 Length: 0x3000
        0xfffc0000 - 0x100000000 Type: 2 Length: 0x40000
        0x100000000 - 0x1bff00000 Type: 1 Length: 0xbff00000
Preprocessed MMAP
        0x00000000 - 0x0009f400 Type: 1 Length: 0x9f400
        0x0009f400 - 0x000a0000 Type: 2 Length: 0xc00
        0x000f0000 - 0x00100000 Type: 2 Length: 0x10000
        0x00100000 - 0xdfffd000 Type: 1 Length: 0xdfefd000
        0xdfffd000 - 0xe0000000 Type: 2 Length: 0x3000
        0xfffc0000 - 0x100000000 Type: 2 Length: 0x40000
        0x100000000 - 0x1bff00000 Type: 1 Length: 0xbff00000
Pagealigned MMAP
        0x00000000 - 0x0009f000 Type: 1 Length: 0x9f000
        0x0009f000 - 0x000a0000 Type: 2 Length: 0x1000
        0x000f0000 - 0x00100000 Type: 2 Length: 0x10000
        0x00100000 - 0xdfffd000 Type: 1 Length: 0xdfefd000
        0xdfffd000 - 0xe0000000 Type: 2 Length: 0x3000
        0xfffc0000 - 0x100000000 Type: 2 Length: 0x40000
        0x100000000 - 0x1bff00000 Type: 1 Length: 0xbff00000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0 PANIC! kernel assertion "0" failed at ../src/kernel/startup.c:90
kernel 0: exception 3 (error code 0x0): vec_bp: breakpoint
Faulting instruction pointer (or next instruction): 0xffffff80068681e1
  => i.e. unrelocated kernel address 0x1101e1
Registers:
 rax: 0xffffff8006887000  r8 : 0xffffffffffffffff
 rbx: 0x00000001be000000  r9 : 0xffffff80000b8f00
 rcx: 0x00000000000003f8  r10: 0x0000000000000000
 rdx: 0xffffff800691c2e0  r11: 0x0000000000000000
 rsp: 0xffffff8007141ba0  r12: 0x0000000000000001
 rdi: 0x0000000000000000  r13: 0x0000000000000019
 rsi: 0x000000000000000a  r14: 0x0000000001f00000
 rip: 0xffffff80068681e1  r15: 0xffffff8007146180
Top o' stack:
 0       0x00000001be000000 (7482638336)
 1       0xffffff800686c108 (18446743524063232264)
 2       0x0000000100000020 (4294967328)
 3       0xffffff8007141c10 (18446743524072496144)
 4       0xffffff8007141bd0 (18446743524072496080)
 5       0xffffff8007141c20 (18446743524072496160)
 6       0xffffff8007141be0 (18446743524072496096)
 7       0xffffff800687d490 (18446743524063302800)
 8       0xffffff800687db9c (18446743524063304604)
 9       0x000000000000005a (90)
kernel 0: Waiting for GDB connection...