[Barrelfish-users] various boot issues
Malte Schwarzkopf
malte.schwarzkopf at cl.cam.ac.uk
Thu Aug 15 17:56:01 CEST 2013
Hi Simon,
Great, thanks a lot -- I'll give the patch a try.
In parallel, I have also explored the strategy of commenting out the
assertions, and managed to boot successfully. This required commenting
out the assertions on lines 406, 421 and 434 in
kernel/arch/x86_64/startup_arch.c (all of these relate to checking for
errors after creating caps).
See attached for the complete trace of the boot. Looks like a bunch of
memory regions were not or only partially inserted, and some allocation
attempts at 0xfed1f000 fail. The SKB also returned some error, but I'm
not sure if that is related to the memory allocation failures. Once
booted up, "free" claims there are about 3 GB of memory available.
I'll report how we get on with the patch.
Cheers,
Malte
On 15/08/2013 16:37, Simon Gerber wrote:
> Hi Malte,
>
> The number of caps that you can fit into the top-level cnode is
> currently 32 (as the top-level cnode is 4kB and each cap 128 bytes).
> I've written a small C program that simulates create_phys_cap for your
> machine (see attachement) and without aligning both the beginning and
> end of each of the small regions to a sufficiently large power of two
> (the way the system currently tries to do things) you would need 127
> capability slots.
>
> Can you try the attached patch which should increase the number of
> super cnode slots to 256 (it doesn't break things for me but I haven't
> tested it rigorously).
>
> -- Simon
>
-------------- next part --------------
Kernel starting at address 0xffffff8005a64000
kernel 0: Machine-check exceptions supported
kernel 0: Machine-check architecture supported, family 0x6
Barrelfish CPU driver starting on x86_64 apic_id 0
kernel 0: Measured 99758151 APIC timer counts in one RTC second, 210485 data points.
kernel 0: Measured 3292026 TSC counts per ms, 99 data points. Average jitter 11 TSC ticks.
kernel 0: MONITOR/MWAIT supported: min size 64 bytes, max 64 bytes. IBE EMX
spawn module: x86_64/sbin/init
kernel 0: Allocated physical memory [0x6651000, 0xca000]
kernel 0: Allocated physical memory [0x671b000, 0x163000]
aligning free memory start to 0x6900000 (was 0x687f000): wasting 516 kB
Raw MMAP from BIOS
0x00000000 - 0x00090000 Type: 1 Length: 0x90000
0x00090000 - 0x000a0000 Type: 2 Length: 0x10000
0x000e0000 - 0x00100000 Type: 2 Length: 0x20000
0x00100000 - 0xb897a000 Type: 1 Length: 0xb887a000
0xb897a000 - 0xb8a4e000 Type: 3 Length: 0xd4000
0xb8a4e000 - 0xba9ac000 Type: 1 Length: 0x1f5e000
0xba9ac000 - 0xba9bd000 Type: 2 Length: 0x11000
0xba9bd000 - 0xba9c9000 Type: 1 Length: 0xc000
0xba9c9000 - 0xba9de000 Type: 2 Length: 0x15000
0xba9de000 - 0xbaadc000 Type: 1 Length: 0xfe000
0xbaadc000 - 0xbaadd000 Type: 2 Length: 0x1000
0xbaadd000 - 0xbaae7000 Type: 1 Length: 0xa000
0xbaae7000 - 0xbaaea000 Type: 2 Length: 0x3000
0xbaaea000 - 0xbab3a000 Type: 1 Length: 0x50000
0xbab3a000 - 0xbab57000 Type: 2 Length: 0x1d000
0xbab57000 - 0xbab5c000 Type: 1 Length: 0x5000
0xbab5c000 - 0xbab60000 Type: 2 Length: 0x4000
0xbab60000 - 0xbab72000 Type: 1 Length: 0x12000
0xbab72000 - 0xbab82000 Type: 2 Length: 0x10000
0xbab82000 - 0xbabbd000 Type: 1 Length: 0x3b000
0xbabbd000 - 0xbabc1000 Type: 2 Length: 0x4000
0xbabc1000 - 0xbacd2000 Type: 1 Length: 0x111000
0xbacd2000 - 0xbacd9000 Type: 2 Length: 0x7000
0xbacd9000 - 0xbad44000 Type: 1 Length: 0x6b000
0xbad44000 - 0xbad49000 Type: 2 Length: 0x5000
0xbad49000 - 0xbad60000 Type: 1 Length: 0x17000
0xbad60000 - 0xbad6f000 Type: 2 Length: 0xf000
0xbad6f000 - 0xbadb6000 Type: 1 Length: 0x47000
0xbadb6000 - 0xbadde000 Type: 2 Length: 0x28000
0xbadde000 - 0xbae00000 Type: 1 Length: 0x22000
0xbae00000 - 0xbb138000 Type: 2 Length: 0x338000
0xbb138000 - 0xbd9f7000 Type: 1 Length: 0x28bf000
0xbd9f7000 - 0xbdbf7000 Type: 2 Length: 0x200000
0xbdbf7000 - 0xbdcdd000 Type: 1 Length: 0xe6000
0xbdcdd000 - 0xbdde7000 Type: 2 Length: 0x10a000
0xbdde7000 - 0xbde2a000 Type: 4 Length: 0x43000
0xbde2a000 - 0xbde2b000 Type: 3 Length: 0x1000
0xbde2b000 - 0xbde2d000 Type: 4 Length: 0x2000
0xbde2d000 - 0xbde2e000 Type: 3 Length: 0x1000
0xbde2e000 - 0xbdefe000 Type: 4 Length: 0xd0000
0xbdefe000 - 0xbdf00000 Type: 3 Length: 0x2000
0xbdf00000 - 0xbdf03000 Type: 4 Length: 0x3000
0xbdf03000 - 0xbdf1f000 Type: 3 Length: 0x1c000
0xbdf1f000 - 0xbdfac000 Type: 4 Length: 0x8d000
0xbdfac000 - 0xbe000000 Type: 1 Length: 0x54000
0x100000000 - 0x2040000000 Type: 1 Length: 0x1f40000000
0xbe000000 - 0xd0000000 Type: 2 Length: 0x12000000
0xfec00000 - 0xfec01000 Type: 2 Length: 0x1000
0xfed19000 - 0xfed1a000 Type: 2 Length: 0x1000
0xfed1c000 - 0xfed20000 Type: 2 Length: 0x4000
0xfee00000 - 0xfee01000 Type: 2 Length: 0x1000
0xffa20000 - 0x100000000 Type: 2 Length: 0x5e0000
Sorted MMAP
0x00000000 - 0x00090000 Type: 1 Length: 0x90000
0x00090000 - 0x000a0000 Type: 2 Length: 0x10000
0x000e0000 - 0x00100000 Type: 2 Length: 0x20000
0x00100000 - 0xb897a000 Type: 1 Length: 0xb887a000
0xb897a000 - 0xb8a4e000 Type: 3 Length: 0xd4000
0xb8a4e000 - 0xba9ac000 Type: 1 Length: 0x1f5e000
0xba9ac000 - 0xba9bd000 Type: 2 Length: 0x11000
0xba9bd000 - 0xba9c9000 Type: 1 Length: 0xc000
0xba9c9000 - 0xba9de000 Type: 2 Length: 0x15000
0xba9de000 - 0xbaadc000 Type: 1 Length: 0xfe000
0xbaadc000 - 0xbaadd000 Type: 2 Length: 0x1000
0xbaadd000 - 0xbaae7000 Type: 1 Length: 0xa000
0xbaae7000 - 0xbaaea000 Type: 2 Length: 0x3000
0xbaaea000 - 0xbab3a000 Type: 1 Length: 0x50000
0xbab3a000 - 0xbab57000 Type: 2 Length: 0x1d000
0xbab57000 - 0xbab5c000 Type: 1 Length: 0x5000
0xbab5c000 - 0xbab60000 Type: 2 Length: 0x4000
0xbab60000 - 0xbab72000 Type: 1 Length: 0x12000
0xbab72000 - 0xbab82000 Type: 2 Length: 0x10000
0xbab82000 - 0xbabbd000 Type: 1 Length: 0x3b000
0xbabbd000 - 0xbabc1000 Type: 2 Length: 0x4000
0xbabc1000 - 0xbacd2000 Type: 1 Length: 0x111000
0xbacd2000 - 0xbacd9000 Type: 2 Length: 0x7000
0xbacd9000 - 0xbad44000 Type: 1 Length: 0x6b000
0xbad44000 - 0xbad49000 Type: 2 Length: 0x5000
0xbad49000 - 0xbad60000 Type: 1 Length: 0x17000
0xbad60000 - 0xbad6f000 Type: 2 Length: 0xf000
0xbad6f000 - 0xbadb6000 Type: 1 Length: 0x47000
0xbadb6000 - 0xbadde000 Type: 2 Length: 0x28000
0xbadde000 - 0xbae00000 Type: 1 Length: 0x22000
0xbae00000 - 0xbb138000 Type: 2 Length: 0x338000
0xbb138000 - 0xbd9f7000 Type: 1 Length: 0x28bf000
0xbd9f7000 - 0xbdbf7000 Type: 2 Length: 0x200000
0xbdbf7000 - 0xbdcdd000 Type: 1 Length: 0xe6000
0xbdcdd000 - 0xbdde7000 Type: 2 Length: 0x10a000
0xbdde7000 - 0xbde2a000 Type: 4 Length: 0x43000
0xbde2a000 - 0xbde2b000 Type: 3 Length: 0x1000
0xbde2b000 - 0xbde2d000 Type: 4 Length: 0x2000
0xbde2d000 - 0xbde2e000 Type: 3 Length: 0x1000
0xbde2e000 - 0xbdefe000 Type: 4 Length: 0xd0000
0xbdefe000 - 0xbdf00000 Type: 3 Length: 0x2000
0xbdf00000 - 0xbdf03000 Type: 4 Length: 0x3000
0xbdf03000 - 0xbdf1f000 Type: 3 Length: 0x1c000
0xbdf1f000 - 0xbdfac000 Type: 4 Length: 0x8d000
0xbdfac000 - 0xbe000000 Type: 1 Length: 0x54000
0xbe000000 - 0xd0000000 Type: 2 Length: 0x12000000
0xfec00000 - 0xfec01000 Type: 2 Length: 0x1000
0xfed19000 - 0xfed1a000 Type: 2 Length: 0x1000
0xfed1c000 - 0xfed20000 Type: 2 Length: 0x4000
0xfee00000 - 0xfee01000 Type: 2 Length: 0x1000
0xffa20000 - 0x100000000 Type: 2 Length: 0x5e0000
0x100000000 - 0x2040000000 Type: 1 Length: 0x1f40000000
Preprocessed MMAP
0x00000000 - 0x00090000 Type: 1 Length: 0x90000
0x00090000 - 0x000a0000 Type: 2 Length: 0x10000
0x000e0000 - 0x00100000 Type: 2 Length: 0x20000
0x00100000 - 0xb897a000 Type: 1 Length: 0xb887a000
0xb897a000 - 0xb8a4e000 Type: 3 Length: 0xd4000
0xb8a4e000 - 0xba9ac000 Type: 1 Length: 0x1f5e000
0xba9ac000 - 0xba9bd000 Type: 2 Length: 0x11000
0xba9bd000 - 0xba9c9000 Type: 1 Length: 0xc000
0xba9c9000 - 0xba9de000 Type: 2 Length: 0x15000
0xba9de000 - 0xbaadc000 Type: 1 Length: 0xfe000
0xbaadc000 - 0xbaadd000 Type: 2 Length: 0x1000
0xbaadd000 - 0xbaae7000 Type: 1 Length: 0xa000
0xbaae7000 - 0xbaaea000 Type: 2 Length: 0x3000
0xbaaea000 - 0xbab3a000 Type: 1 Length: 0x50000
0xbab3a000 - 0xbab57000 Type: 2 Length: 0x1d000
0xbab57000 - 0xbab5c000 Type: 1 Length: 0x5000
0xbab5c000 - 0xbab60000 Type: 2 Length: 0x4000
0xbab60000 - 0xbab72000 Type: 1 Length: 0x12000
0xbab72000 - 0xbab82000 Type: 2 Length: 0x10000
0xbab82000 - 0xbabbd000 Type: 1 Length: 0x3b000
0xbabbd000 - 0xbabc1000 Type: 2 Length: 0x4000
0xbabc1000 - 0xbacd2000 Type: 1 Length: 0x111000
0xbacd2000 - 0xbacd9000 Type: 2 Length: 0x7000
0xbacd9000 - 0xbad44000 Type: 1 Length: 0x6b000
0xbad44000 - 0xbad49000 Type: 2 Length: 0x5000
0xbad49000 - 0xbad60000 Type: 1 Length: 0x17000
0xbad60000 - 0xbad6f000 Type: 2 Length: 0xf000
0xbad6f000 - 0xbadb6000 Type: 1 Length: 0x47000
0xbadb6000 - 0xbadde000 Type: 2 Length: 0x28000
0xbadde000 - 0xbae00000 Type: 1 Length: 0x22000
0xbae00000 - 0xbb138000 Type: 2 Length: 0x338000
0xbb138000 - 0xbd9f7000 Type: 1 Length: 0x28bf000
0xbd9f7000 - 0xbdbf7000 Type: 2 Length: 0x200000
0xbdbf7000 - 0xbdcdd000 Type: 1 Length: 0xe6000
0xbdcdd000 - 0xbdde7000 Type: 2 Length: 0x10a000
0xbdde7000 - 0xbde2a000 Type: 4 Length: 0x43000
0xbde2a000 - 0xbde2b000 Type: 3 Length: 0x1000
0xbde2b000 - 0xbde2d000 Type: 4 Length: 0x2000
0xbde2d000 - 0xbde2e000 Type: 3 Length: 0x1000
0xbde2e000 - 0xbdefe000 Type: 4 Length: 0xd0000
0xbdefe000 - 0xbdf00000 Type: 3 Length: 0x2000
0xbdf00000 - 0xbdf03000 Type: 4 Length: 0x3000
0xbdf03000 - 0xbdf1f000 Type: 3 Length: 0x1c000
0xbdf1f000 - 0xbdfac000 Type: 4 Length: 0x8d000
0xbdfac000 - 0xbe000000 Type: 1 Length: 0x54000
0xbe000000 - 0xd0000000 Type: 2 Length: 0x12000000
0xfec00000 - 0xfec01000 Type: 2 Length: 0x1000
0xfed19000 - 0xfed1a000 Type: 2 Length: 0x1000
0xfed1c000 - 0xfed20000 Type: 2 Length: 0x4000
0xfee00000 - 0xfee01000 Type: 2 Length: 0x1000
0xffa20000 - 0x100000000 Type: 2 Length: 0x5e0000
0x100000000 - 0x2040000000 Type: 1 Length: 0x1f40000000
Pagealigned MMAP
0x00000000 - 0x00090000 Type: 1 Length: 0x90000
0x00090000 - 0x000a0000 Type: 2 Length: 0x10000
0x000e0000 - 0x00100000 Type: 2 Length: 0x20000
0x00100000 - 0xb897a000 Type: 1 Length: 0xb887a000
0xb897a000 - 0xb8a4e000 Type: 3 Length: 0xd4000
0xb8a4e000 - 0xba9ac000 Type: 1 Length: 0x1f5e000
0xba9ac000 - 0xba9bd000 Type: 2 Length: 0x11000
0xba9bd000 - 0xba9c9000 Type: 1 Length: 0xc000
0xba9c9000 - 0xba9de000 Type: 2 Length: 0x15000
0xba9de000 - 0xbaadc000 Type: 1 Length: 0xfe000
0xbaadc000 - 0xbaadd000 Type: 2 Length: 0x1000
0xbaadd000 - 0xbaae7000 Type: 1 Length: 0xa000
0xbaae7000 - 0xbaaea000 Type: 2 Length: 0x3000
0xbaaea000 - 0xbab3a000 Type: 1 Length: 0x50000
0xbab3a000 - 0xbab57000 Type: 2 Length: 0x1d000
0xbab57000 - 0xbab5c000 Type: 1 Length: 0x5000
0xbab5c000 - 0xbab60000 Type: 2 Length: 0x4000
0xbab60000 - 0xbab72000 Type: 1 Length: 0x12000
0xbab72000 - 0xbab82000 Type: 2 Length: 0x10000
0xbab82000 - 0xbabbd000 Type: 1 Length: 0x3b000
0xbabbd000 - 0xbabc1000 Type: 2 Length: 0x4000
0xbabc1000 - 0xbacd2000 Type: 1 Length: 0x111000
0xbacd2000 - 0xbacd9000 Type: 2 Length: 0x7000
0xbacd9000 - 0xbad44000 Type: 1 Length: 0x6b000
0xbad44000 - 0xbad49000 Type: 2 Length: 0x5000
0xbad49000 - 0xbad60000 Type: 1 Length: 0x17000
0xbad60000 - 0xbad6f000 Type: 2 Length: 0xf000
0xbad6f000 - 0xbadb6000 Type: 1 Length: 0x47000
0xbadb6000 - 0xbadde000 Type: 2 Length: 0x28000
0xbadde000 - 0xbae00000 Type: 1 Length: 0x22000
0xbae00000 - 0xbb138000 Type: 2 Length: 0x338000
0xbb138000 - 0xbd9f7000 Type: 1 Length: 0x28bf000
0xbd9f7000 - 0xbdbf7000 Type: 2 Length: 0x200000
0xbdbf7000 - 0xbdcdd000 Type: 1 Length: 0xe6000
0xbdcdd000 - 0xbdde7000 Type: 2 Length: 0x10a000
0xbdde7000 - 0xbde2a000 Type: 4 Length: 0x43000
0xbde2a000 - 0xbde2b000 Type: 3 Length: 0x1000
0xbde2b000 - 0xbde2d000 Type: 4 Length: 0x2000
0xbde2d000 - 0xbde2e000 Type: 3 Length: 0x1000
0xbde2e000 - 0xbdefe000 Type: 4 Length: 0xd0000
0xbdefe000 - 0xbdf00000 Type: 3 Length: 0x2000
0xbdf00000 - 0xbdf03000 Type: 4 Length: 0x3000
0xbdf03000 - 0xbdf1f000 Type: 3 Length: 0x1c000
0xbdf1f000 - 0xbdfac000 Type: 4 Length: 0x8d000
0xbdfac000 - 0xbe000000 Type: 1 Length: 0x54000
0xbe000000 - 0xd0000000 Type: 2 Length: 0x12000000
0xfec00000 - 0xfec01000 Type: 2 Length: 0x1000
0xfed19000 - 0xfed1a000 Type: 2 Length: 0x1000
0xfed1c000 - 0xfed20000 Type: 2 Length: 0x4000
0xfee00000 - 0xfee01000 Type: 2 Length: 0x1000
0xffa20000 - 0x100000000 Type: 2 Length: 0x5e0000
0x100000000 - 0x2040000000 Type: 1 Length: 0x1f40000000
kernel 0: MMAP 0--90000 Type 1
kernel 0: MMAP 90000--a0000 Type 2
kernel 0: MMAP e0000--100000 Type 2
kernel 0: MMAP 100000--b897a000 Type 1
kernel 0: RAM 6900000--b897a000
kernel 0: MMAP b897a000--b8a4e000 Type 3
kernel 0: platform b897a000--b8a4e000
kernel 0: MMAP b8a4e000--ba9ac000 Type 1
kernel 0: RAM b8a4e000--ba9ac000
kernel 0: MMAP ba9ac000--ba9bd000 Type 2
kernel 0: platform ba9ac000--ba9bd000
kernel 0: MMAP ba9bd000--ba9c9000 Type 1
kernel 0: RAM ba9bd000--ba9c9000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP ba9c9000--ba9de000 Type 2
kernel 0: platform ba9c9000--ba9de000
kernel 0: MMAP ba9de000--baadc000 Type 1
kernel 0: RAM ba9de000--baadc000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP baadc000--baadd000 Type 2
kernel 0: platform baadc000--baadd000
kernel 0: MMAP baadd000--baae7000 Type 1
kernel 0: RAM baadd000--baae7000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP baae7000--baaea000 Type 2
kernel 0: platform baae7000--baaea000
kernel 0: MMAP baaea000--bab3a000 Type 1
kernel 0: RAM baaea000--bab3a000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP bab3a000--bab57000 Type 2
kernel 0: platform bab3a000--bab57000
kernel 0: MMAP bab57000--bab5c000 Type 1
kernel 0: RAM bab57000--bab5c000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP bab5c000--bab60000 Type 2
kernel 0: platform bab5c000--bab60000
kernel 0: MMAP bab60000--bab72000 Type 1
kernel 0: RAM bab60000--bab72000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP bab72000--bab82000 Type 2
kernel 0: platform bab72000--bab82000
kernel 0: MMAP bab82000--babbd000 Type 1
kernel 0: RAM bab82000--babbd000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP babbd000--babc1000 Type 2
kernel 0: platform babbd000--babc1000
kernel 0: MMAP babc1000--bacd2000 Type 1
kernel 0: RAM babc1000--bacd2000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP bacd2000--bacd9000 Type 2
kernel 0: platform bacd2000--bacd9000
kernel 0: MMAP bacd9000--bad44000 Type 1
kernel 0: RAM bacd9000--bad44000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP bad44000--bad49000 Type 2
kernel 0: platform bad44000--bad49000
kernel 0: MMAP bad49000--bad60000 Type 1
kernel 0: RAM bad49000--bad60000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP bad60000--bad6f000 Type 2
kernel 0: platform bad60000--bad6f000
kernel 0: MMAP bad6f000--badb6000 Type 1
kernel 0: RAM bad6f000--badb6000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP badb6000--badde000 Type 2
kernel 0: platform badb6000--badde000
kernel 0: MMAP badde000--bae00000 Type 1
kernel 0: RAM badde000--bae00000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP bae00000--bb138000 Type 2
kernel 0: platform bae00000--bb138000
kernel 0: MMAP bb138000--bd9f7000 Type 1
kernel 0: RAM bb138000--bd9f7000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP bd9f7000--bdbf7000 Type 2
kernel 0: platform bd9f7000--bdbf7000
kernel 0: MMAP bdbf7000--bdcdd000 Type 1
kernel 0: RAM bdbf7000--bdcdd000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP bdcdd000--bdde7000 Type 2
kernel 0: platform bdcdd000--bdde7000
kernel 0: MMAP bdde7000--bde2a000 Type 4
kernel 0: platform bdde7000--bde2a000
kernel 0: MMAP bde2a000--bde2b000 Type 3
kernel 0: platform bde2a000--bde2b000
kernel 0: MMAP bde2b000--bde2d000 Type 4
kernel 0: platform bde2b000--bde2d000
kernel 0: MMAP bde2d000--bde2e000 Type 3
kernel 0: platform bde2d000--bde2e000
kernel 0: MMAP bde2e000--bdefe000 Type 4
kernel 0: platform bde2e000--bdefe000
kernel 0: MMAP bdefe000--bdf00000 Type 3
kernel 0: platform bdefe000--bdf00000
kernel 0: MMAP bdf00000--bdf03000 Type 4
kernel 0: platform bdf00000--bdf03000
kernel 0: MMAP bdf03000--bdf1f000 Type 3
kernel 0: platform bdf03000--bdf1f000
kernel 0: MMAP bdf1f000--bdfac000 Type 4
kernel 0: platform bdf1f000--bdfac000
kernel 0: MMAP bdfac000--be000000 Type 1
kernel 0: RAM bdfac000--be000000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP be000000--d0000000 Type 2
kernel 0: platform be000000--d0000000
kernel 0: MMAP fec00000--fec01000 Type 2
kernel 0: physical address range d0000000--fec00000
kernel 0: platform fec00000--fec01000
kernel 0: MMAP fed19000--fed1a000 Type 2
kernel 0: physical address range fec01000--fed19000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: platform fed19000--fed1a000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP fed1c000--fed20000 Type 2
kernel 0: physical address range fed1a000--fed1c000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: platform fed1c000--fed20000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP fee00000--fee01000 Type 2
kernel 0: physical address range fed20000--fee00000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: platform fee00000--fee01000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP ffa20000--100000000 Type 2
kernel 0: physical address range fee01000--ffa20000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: platform ffa20000--100000000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: MMAP 100000000--2040000000 Type 1
kernel 0: RAM 100000000--2040000000
kernel 0: create_caps_to_cnode: Cannot create more caps in CNode
kernel 0: end physical address range 2040000000--2040000000
init: invoked as: init 2097152
Spawning memory server (x86_64/sbin/mem_serv)...
Spawning monitor (x86_64/sbin/monitor)...
monitor: invoked as: x86_64/sbin/monitor 327680
RAM allocator initialised, 2863 MB (of 2879 MB) available
Spawning ramfsd on core 0
ramfsd.0: pre-populating from boot image...
ramfsd.0: unpacking Gzipped CPIO /skb_ramfs.cpio.gz
ramfsd.0: ready
Spawning skb on core 0
Spawning /usr/groups/srgboot/ms705/barrelfish/x86_64/sbin/kaluga on core 0
Spawning /usr/groups/srgboot/ms705/barrelfish/x86_64/sbin/acpi on core 0
Spawning /usr/groups/srgboot/ms705/barrelfish/x86_64/sbin/spawnd on core 0
Spawning /usr/groups/srgboot/ms705/barrelfish/x86_64/sbin/startd on core 0
Spawning /usr/groups/srgboot/ms705/barrelfish/x86_64/sbin/routing_setup on core 0
Kaluga running.
skb.0: waiting for: skb
skb.0: waiting for: all_spawnds_up
kernel: 0: installing handler for IRQ 0
Monitor 0: booting x86_64 core 1 as '/x86_64/sbin/cpu loglevel=5 logmask=1'
Kernel starting at address 0xffffff8014001000
kernel 1: Machine-check exceptions supported
kernel 1: Machine-check architecture supported, family 0x6
Barrelfish CPU driver starting on x86_64 apic_id 1
kernel 0: booted CPU1
kernel 1: Measured 3292027 TSC counts per ms, 99 data points. Average jitter 14 TSC ticks.
kernel 1: MONITOR/MWAIT supported: min size 64 bytes, max 64 bytes. IBE EMX
spawn module: monitor
monitor: invoked as: monitor 0 chanid=0 archid=0
ERROR: acpi.0 in AcpiOsMapMemory() ../usr/acpi/acpica_osglue.c:621
ERROR: AcpiOsMapMemory: allocating RAM at fed1f000 failed
Failure: ( libmm) Failure in find_node() [MM_ERR_FIND_NODE]
Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
ACPI: interrupt!
ERROR: acpi.0 in AcpiOsMapMemory() ../usr/acpi/acpica_osglue.c:621
ERROR: Spawning spawnd on core 1
AcpiOsMapMemory: allocating RAM at fed1f000 failed
Failure: ( libmm) Failure in find_node() [MM_ERR_FIND_NODE]
Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
ERROR: acpi.0 in AcpiOsMapMemory() ../usr/acpi/acpica_osglue.c:621
ERROR: AcpiOsMapMemory: allocating RAM at fed40000 failed
Failure: ( libmm) Failure in find_node() [MM_ERR_FIND_NODE]
Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
ACPI: interrupt!
Installing fixed event handler for power button
ERROR: acpi.0 in AcpiOsMapMemory() ../usr/acpi/acpica_osglue.c:621
ERROR: AcpiOsMapMemory: allocating RAM at fed1f000 failed
Failure: ( libmm) Failure in find_node() [MM_ERR_FIND_NODE]
Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
ERROR: acpi.0 in AcpiOsMapMemory() ../usr/acpi/acpica_osglue.c:621
ERROR: AcpiOsMapMemory: allocating RAM at fed40000 failed
Failure: ( libmm) Failure in find_node() [MM_ERR_FIND_NODE]
Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
ERROR: acpi.0 in AcpiOsMapMemory() ../usr/acpi/acpica_osglue.c:621
ERROR: AcpiOsMapMemory: allocating RAM at fed1f000 failed
Failure: ( libmm) Failure in find_node() [MM_ERR_FIND_NODE]
Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
ERROR: acpi.0 in AcpiOsMapMemory() ../usr/acpi/acpica_osglue.c:621
ERROR: AcpiOsMapMemory: allocating RAM at fed40000 failed
Failure: ( libmm) Failure in find_node() [MM_ERR_FIND_NODE]
Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
Monitor 0: booting x86_64 core 2 as '/x86_64/sbin/cpu loglevel=5 logmask=1'
Kernel starting at address 0xffffff8016001000
kernel 2: Machine-check exceptions supported
kernel 2: Machine-check architecture supported, family 0x6
Barrelfish CPU driver starting on x86_64 apic_id 2
kernel 0: booted CPU2
kernel 2: Measured 3292023 TSC counts per ms, 99 data points. Average jitter 14 TSC ticks.
kernel 2: MONITOR/MWAIT supported: min size 64 bytes, max 64 bytes. IBE EMX
spawn module: monitor
monitor: invoked as: monitor 0 chanid=0 archid=0
Spawning spawnd on core 2
Monitor 0: booting x86_64 core 3 as '/x86_64/sbin/cpu loglevel=5 logmask=1'
Kernel starting at address 0xffffff8018001000
kernel 3: Machine-check exceptions supported
kernel 3: Machine-check architecture supported, family 0x6
Barrelfish CPU driver starting on x86_64 apic_id 3
kernel 0: booted CPU3
kernel 3: Measured 3292026 TSC counts per ms, 99 data points. Average jitter 13 TSC ticks.
kernel 3: MONITOR/MWAIT supported: min size 64 bytes, max 64 bytes. IBE EMX
spawn module: monitor
monitor: invoked as: monitor 0 chanid=0 archid=0
Spawning spawnd on core 3
Monitor 0: booting x86_64 core 4 as '/x86_64/sbin/cpu loglevel=5 logmask=1'
Kernel starting at address 0xffffff8019001000
kernel 4: Machine-check exceptions supported
kernel 4: Machine-check architecture supported, family 0x6
Barrelfish CPU driver starting on x86_64 apic_id 4
kernel 0: booted CPU4
kernel 4: Measured 3292021 TSC counts per ms, 99 data points. Average jitter 14 TSC ticks.
kernel 4: MONITOR/MWAIT supported: min size 64 bytes, max 64 bytes. IBE EMX
spawn module: monitor
monitor: invoked as: monitor 0 chanid=0 archid=0
Spawning spawnd on core 4
Monitor 0: booting x86_64 core 5 as '/x86_64/sbin/cpu loglevel=5 logmask=1'
Kernel starting at address 0xffffff801b001000
kernel 5: Machine-check exceptions supported
kernel 5: Machine-check architecture supported, family 0x6
Barrelfish CPU driver starting on x86_64 apic_id 5
kernel 0: booted CPU5
kernel 5: Measured 3292024 TSC counts per ms, 99 data points. Average jitter 15 TSC ticks.
kernel 5: MONITOR/MWAIT supported: min size 64 bytes, max 64 bytes. IBE EMX
spawn module: monitor
monitor: invoked as: monitor 0 chanid=0 archid=0
Spawning spawnd on core 5
Monitor 0: booting x86_64 core 6 as '/x86_64/sbin/cpu loglevel=5 logmask=1'
Kernel starting at address 0xffffff801c001000
kernel 6: Machine-check exceptions supported
kernel 6: Machine-check architecture supported, family 0x6
Barrelfish CPU driver starting on x86_64 apic_id 6
kernel 0: booted CPU6
kernel 6: Measured 3292022 TSC counts per ms, 99 data points. Average jitter 15 TSC ticks.
kernel 6: MONITOR/MWAIT supported: min size 64 bytes, max 64 bytes. IBE EMX
spawn module: monitor
monitor: invoked as: monitor 0 chanid=0 archid=0
Spawning spawnd on core 6
Monitor 0: booting x86_64 core 7 as '/x86_64/sbin/cpu loglevel=5 logmask=1'
Kernel starting at address 0xffffff801e001000
kernel 7: Machine-check exceptions supported
kernel 7: Machine-check architecture supported, family 0x6
Barrelfish CPU driver starting on x86_64 apic_id 7
kernel 0: booted CPU7
kernel 7: Measured 3292025 TSC counts per ms, 99 data points. Average jitter 15 TSC ticks.
kernel 7: MONITOR/MWAIT supported: min size 64 bytes, max 64 bytes. IBE EMX
spawn module: monitor
monitor: invoked as: monitor 0 chanid=0 archid=0
Spawning spawnd on core 7
all 8 monitors up
monitor: synchronizing clocks
spawnd.0: spawning /x86_64/sbin/pci on core 0
startd.0: starting app /x86_64/sbin/serial on core 0
spawnd.0: spawning /x86_64/sbin/serial on core 0
startd.0: starting app /x86_64/sbin/fish on core 0
spawnd.0: spawning /x86_64/sbin/fish on core 0
No bootscript
skb.0: waiting for: pci
skb.0: waiting for: serial
pci.c: pci_program_bridges(): SKB returned error code 1
SKB error returned:
SKB output:
WARNING: CONTINUING, HOWEVER PCI DEVICES WILL BE UNUSABLE
kernel: 0: installing handler for IRQ 1
fish v0.2 -- pleased to meet you!
File /init.fish not found
available commands:
help print_cspace quit ps demo
pixels mnfs oncore reset poweroff
skb mount ls cd pwd
touch cat cat2 dd cp
rm mkdir rmdir setenv src
printenv free
> print_cspace
fish.0: slot 1 caddr 0x8000000 (5 bits) is a CNode cap (bits 7, rights mask 0x1f)
fish.0: slot 0 caddr 0x8000000 (12 bits) is a x86_64 PML4 at 0x1db7c000
fish.0: slot 1 caddr 0x8100000 (12 bits) is a x86_64 PDPT at 0x1de8e000
fish.0: slot 2 caddr 0x8200000 (12 bits) is a x86_64 Page directory at 0x1de8f000
fish.0: slot 3 caddr 0x8300000 (12 bits) is a x86_64 Page table at 0x1de98000
fish.0: slot 4 caddr 0x8400000 (12 bits) is a x86_64 Page table at 0x1de9b000
fish.0: slot 2 caddr 0x10000000 (5 bits) is a CNode cap (bits 5, rights mask 0x1f)
fish.0: slot 8 caddr 0x12000000 (10 bits) is a RAM cap (0x1db64000:12)
fish.0: slot 9 caddr 0x12400000 (10 bits) is a RAM cap (0x1db65000:12)
fish.0: slot 10 caddr 0x12800000 (10 bits) is a RAM cap (0x1db66000:12)
fish.0: slot 11 caddr 0x12c00000 (10 bits) is a RAM cap (0x1db67000:12)
fish.0: slot 12 caddr 0x13000000 (10 bits) is a RAM cap (0x1db68000:12)
fish.0: slot 13 caddr 0x13400000 (10 bits) is a RAM cap (0x1db69000:12)
fish.0: slot 14 caddr 0x13800000 (10 bits) is a RAM cap (0x1db6a000:12)
fish.0: slot 15 caddr 0x13c00000 (10 bits) is a RAM cap (0x1db6b000:12)
fish.0: slot 16 caddr 0x14000000 (10 bits) is a RAM cap (0x1db6c000:12)
fish.0: slot 17 caddr 0x14400000 (10 bits) is a RAM cap (0x1db6d000:12)
fish.0: slot 18 caddr 0x14800000 (10 bits) is a RAM cap (0x1db6e000:12)
fish.0: slot 19 caddr 0x14c00000 (10 bits) is a RAM cap (0x1db6f000:12)
fish.0: slot 20 caddr 0x15000000 (10 bits) is a RAM cap (0x1db70000:12)
fish.0: slot 21 caddr 0x15400000 (10 bits) is a RAM cap (0x1db71000:12)
fish.0: slot 22 caddr 0x15800000 (10 bits) is a RAM cap (0x1db72000:12)
fish.0: slot 23 caddr 0x15c00000 (10 bits) is a RAM cap (0x1db73000:12)
fish.0: slot 24 caddr 0x16000000 (10 bits) is a RAM cap (0x1db74000:12)
fish.0: slot 25 caddr 0x16400000 (10 bits) is a RAM cap (0x1db75000:12)
fish.0: slot 26 caddr 0x16800000 (10 bits) is a RAM cap (0x1db76000:12)
fish.0: slot 27 caddr 0x16c00000 (10 bits) is a RAM cap (0x1db77000:12)
fish.0: slot 28 caddr 0x17000000 (10 bits) is a RAM cap (0x1db78000:12)
fish.0: slot 29 caddr 0x17400000 (10 bits) is a RAM cap (0x1db79000:12)
fish.0: slot 30 caddr 0x17800000 (10 bits) is a RAM cap (0x1db7a000:12)
fish.0: slot 31 caddr 0x17c00000 (10 bits) is a RAM cap (0x1db7b000:12)
fish.0: slot 4 caddr 0x20000000 (5 bits) is a CNode cap (bits 5, rights mask 0x1f)
fish.0: slot 0 caddr 0x20000000 (10 bits) is a Frame cap (0x1fa00000:20)
fish.0: slot 1 caddr 0x20400000 (10 bits) is a Frame cap (0x1df00000:18)
fish.0: slot 2 caddr 0x20800000 (10 bits) is a Frame cap (0x1df40000:17)
fish.0: slot 3 caddr 0x20c00000 (10 bits) is a Frame cap (0x1df60000:16)
fish.0: slot 4 caddr 0x21000000 (10 bits) is a Frame cap (0x1de90000:15)
fish.0: slot 5 caddr 0x21400000 (10 bits) is a Frame cap (0x1de8c000:13)
fish.0: slot 6 caddr 0x21800000 (10 bits) is a Frame cap (0x1db7e000:12)
fish.0: slot 7 caddr 0x21c00000 (10 bits) is a Frame cap (0x1fa00000:20)
fish.0: slot 8 caddr 0x22000000 (10 bits) is a Frame cap (0x1df00000:18)
fish.0: slot 9 caddr 0x22400000 (10 bits) is a Frame cap (0x1df40000:17)
fish.0: slot 10 caddr 0x22800000 (10 bits) is a Frame cap (0x1df60000:16)
fish.0: slot 11 caddr 0x22c00000 (10 bits) is a Frame cap (0x1de90000:15)
fish.0: slot 12 caddr 0x23000000 (10 bits) is a Frame cap (0x1de8c000:13)
fish.0: slot 13 caddr 0x23400000 (10 bits) is a Frame cap (0x1db7e000:12)
fish.0: slot 14 caddr 0x23800000 (10 bits) is a Frame cap (0x1df80000:17)
fish.0: slot 15 caddr 0x23c00000 (10 bits) is a Frame cap (0x1df70000:16)
fish.0: slot 16 caddr 0x24000000 (10 bits) is a Frame cap (0x1dea0000:14)
fish.0: slot 17 caddr 0x24400000 (10 bits) is a Frame cap (0x1dea4000:13)
fish.0: slot 18 caddr 0x24800000 (10 bits) is a Frame cap (0x1de99000:12)
fish.0: slot 19 caddr 0x24c00000 (10 bits) is a Frame cap (0x1df80000:17)
fish.0: slot 20 caddr 0x25000000 (10 bits) is a Frame cap (0x1df70000:16)
fish.0: slot 21 caddr 0x25400000 (10 bits) is a Frame cap (0x1dea0000:14)
fish.0: slot 22 caddr 0x25800000 (10 bits) is a Frame cap (0x1dea4000:13)
fish.0: slot 23 caddr 0x25c00000 (10 bits) is a Frame cap (0x1de99000:12)
fish.0: slot 7 caddr 0x38000000 (5 bits) is a CNode cap (bits 10, rights mask 0x1f)
fish.0: slot 8 caddr 0x40000000 (5 bits) is a CNode cap (bits 10, rights mask 0x1f)
fish.0: slot 0 caddr 0x40000000 (15 bits) is a Frame cap (0x1db5c000:12)
fish.0: slot 1 caddr 0x40020000 (15 bits) is a Frame cap (0x1db5d000:12)
fish.0: slot 2 caddr 0x40040000 (15 bits) is a x86_64 PDPT at 0x1db5e000
fish.0: slot 3 caddr 0x40060000 (15 bits) is a x86_64 Page directory at 0x1db5f000
fish.0: slot 4 caddr 0x40080000 (15 bits) is a x86_64 Page table at 0x1db60000
fish.0: slot 5 caddr 0x400a0000 (15 bits) is a x86_64 Page table at 0x1db61000
fish.0: slot 6 caddr 0x400c0000 (15 bits) is a Frame cap (0x1db62000:12)
fish.0: slot 7 caddr 0x400e0000 (15 bits) is a Frame cap (0x1db63000:12)
fish.0: slot 8 caddr 0x40100000 (15 bits) is a EndPoint cap (disp 0xffffff8015245c00 offset 0x3ff28)
fish.0: slot 10 caddr 0x40140000 (15 bits) is a EndPoint cap (disp 0xffffff8015245c00 offset 0x3fe48)
fish.0: slot 11 caddr 0x40160000 (15 bits) is a EndPoint cap (disp 0xffffff8015245c00 offset 0x3fbc8)
fish.0: slot 12 caddr 0x40180000 (15 bits) is a EndPoint cap (disp 0xffffff8015245c00 offset 0x3fd08)
fish.0: slot 14 caddr 0x401c0000 (15 bits) is a Frame cap (0x1de9e000:12)
fish.0: slot 15 caddr 0x401e0000 (15 bits) is a Frame cap (0x1dea6000:12)
fish.0: slot 17 caddr 0x40220000 (15 bits) is a Frame cap (0x1dfe0000:17)
fish.0: slot 18 caddr 0x40240000 (15 bits) is a x86_64 Page directory at 0x1dea8000
fish.0: slot 19 caddr 0x40260000 (15 bits) is a x86_64 Page table at 0x1deaa000
fish.0: slot 20 caddr 0x40280000 (15 bits) is a EndPoint cap (disp 0xffffff8015245c00 offset 0x3fa88)
fish.0: slot 21 caddr 0x402a0000 (15 bits) is a x86_64 Page table at 0x1deab000
fish.0: slot 23 caddr 0x402e0000 (15 bits) is a Frame cap (0x1fb40000:16)
fish.0: slot 24 caddr 0x40300000 (15 bits) is a EndPoint cap (disp 0xffffff8015245c00 offset 0x3f948)
fish.0: slot 27 caddr 0x40360000 (15 bits) is a EndPoint cap (disp 0xffffff8015245c00 offset 0x3f808)
fish.0: slot 9 caddr 0x48000000 (5 bits) is a CNode cap (bits 10, rights mask 0x1f)
fish.0: slot 12 caddr 0x60000000 (5 bits) is a EndPoint cap (disp 0xffffff8007810400 offset 0x3c458)
fish.0: slot 13 caddr 0x68000000 (5 bits) is a EndPoint cap (disp 0xffffff8007810400 offset 0x3c298)
fish.0: slot 14 caddr 0x70000000 (5 bits) is a EndPoint cap (disp 0xffffff8007810000 offset 0x3f168)
fish.0: slot 15 caddr 0x78000000 (5 bits) is a EndPoint cap (disp 0xffffff8006a12400 offset 0x3e688)
fish.0: slot 16 caddr 0x80000000 (5 bits) is a EndPoint cap (disp 0xffffff8006a12000 offset 0x3f6c8)
fish.0: slot 17 caddr 0x88000000 (5 bits) is a EndPoint cap (disp 0xffffff8015245800 offset 0x3f868)
fish.0: slot 18 caddr 0x90000000 (5 bits) is a EndPoint cap (disp 0xffffff8006a13000 offset 0x3f6c8)
> free
Free memory: 2511504384 bytes
Total memory: 3019739136 bytes
> ps
DOMAINID STAT COMMAND
1 R auto
2 R serial
3 R fish
More information about the Barrelfish-users
mailing list