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: RAM 76b7000--dfffd000 [init_alloc_addr:76b7000]
kernel 0: RAM 100000000--1bff00000 [init_alloc_addr:76b7000]
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0 PANIC! kernel assertion "err_is_ok(err)" failed at ../src/kernel/arch/x86_64/startup_arch.c:413
kernel 0: exception 3 (error code 0x0): vec_bp: breakpoint
Faulting instruction pointer (or next instruction): 0xffffff8006868061
  => i.e. unrelocated kernel address 0x110061
Registers:
 rax: 0xffffff8006887000  r8 : 0xffffffffffffffff
 rbx: 0xffffff80076b7090  r9 : 0xffffff80000b8f00
 rcx: 0x00000000000003f8  r10: 0x0000000000000000
 rdx: 0xffffff800691c2e0  r11: 0x0000000000000000
 rsp: 0xffffff8007141c10  r12: 0x00000001bff00000
 rdi: 0x0000000000000000  r13: 0xffffff80068817e0
 rsi: 0x000000000000000a  r14: 0xffffff80076b70a8
 rip: 0xffffff8006868061  r15: 0x0000000100000000
Top o' stack:
 0 	 0xffffff80076b7090 (18446743524078219408)
 1 	 0xffffff800686bf88 (18446743524063231880)
 2 	 0xffffff8000000020 (18446743523953737760)
 3 	 0xffffff8007141c80 (18446743524072496256)
 4 	 0xffffff8007141c40 (18446743524072496192)
 5 	 0xffffff8006896114 (18446743524063404308)
 6 	 0x0000000000200010 (2097168)
 7 	 0xffffff800687d1e6 (18446743524063302118)
 8 	 0xffffff800687eda0 (18446743524063309216)
 9 	 0x000000000000019d (413)
kernel 0: Waiting for GDB connection...