Boot config: parsing cmdline ''

Boot config: console_port = 0x3f8

Boot config: disable_iommu = false

Parsing GRUB physical memory map

	Physical Memory Region from 0 size 9f800 type 1

	Physical Memory Region from 9f800 size 800 type 2

	Physical Memory Region from dc000 size 24000 type 2

	Physical Memory Region from 100000 size fdf0000 type 1

Adding physical memory region 0x100000-0xfef0000

	Physical Memory Region from fef0000 size f000 type 3

	Physical Memory Region from feff000 size 1000 type 4

	Physical Memory Region from ff00000 size 100000 type 1

Adding physical memory region 0xff00000-0x10000000

	Physical Memory Region from f0000000 size 8000000 type 2

	Physical Memory Region from fec00000 size 10000 type 2

	Physical Memory Region from fee00000 size 1000 type 2

	Physical Memory Region from fffe0000 size 20000 type 2

Got VBE info in multiboot. Current video mode is 3

Kernel loaded to: start=0x100000 end=0x135000 size=0x35000 entry=0x10005e

ACPI: RSDP paddr=0xf6a10

ACPI: RSDP vaddr=0xdfcf6a10

ACPI: RSDT paddr=0xfef0510

ACPI: RSDT vaddr=0xdfef0510

ACPI: FADT paddr=0xfefef67

ACPI: FADT vaddr=0xdfefef67

ACPI: FADT flags=0x21

ACPI: MADT paddr=0xfef067c

ACPI: MADT vaddr=0xdfef067c

ACPI: MADT apic_addr=0xfee00000

ACPI: MADT flags=0x1

ACPI: MADT_APIC apic_id=0x0

ACPI: MADT_IOAPIC ioapic_id=1 ioapic_addr=0xfec00000 gsib=0

ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x5

ACPI: 1 CPU(s) detected

Detected 1 IOAPICs, but configured to use PIC instead

Detected 1 boot module(s):

  module #0: start=0x13b000 end=0x68dc5c size=0x552c5c name=''

ELF-loading userland images from boot modules:

size=0x487000 v_entry=0x8057772 v_start=0x8048000 v_end=0x84cf000 p_start=0x68e000 p_end=0xb15000

Moving loaded userland images to final location: from=0x68e000 to=0x135000 size=0x487000

Starting node #0 with APIC ID 0

Booting all finished, dropped to user space


Rump on seL4

============


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 2147483648, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 1073741824, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 536870912, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 268435456, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 134217728, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 67108864, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 33554432, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 16777216, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 8388608, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 4194304, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 2097152, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 1048576, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 524288, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 262144, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 131072, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 65536, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 32768, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 16384, error 1


vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 8192, error 1


Undelivered IRQ: 0

94 {,,"net" :  {,,"if":"wm0",, "type":"inet",,"method":"dhcp",,},,"cmdline": "hello world1",,},,

  starting app

basepaddr 0x0 framesize: 20,

<<seL4(CPU 0) [decodeCNodeInvocation/127 T0xe05f6900 "" @805b5fe]: Error deriving cap for CNode Copy operation.>>

sel4utils_copy_path_to_process@process.c:135 Failed to copy cap


Failed to copy cap to processbasepaddr 0xfef0000 framesize: 16,

basepaddr 0x10000000 framesize: 28,

basepaddr 0x20000000 framesize: 29,

basepaddr 0x40000000 framesize: 29,

basepaddr 0x60000000 framesize: 29,

basepaddr 0x80000000 framesize: 29,

basepaddr 0xa0000000 framesize: 29,

basepaddr 0xc0000000 framesize: 29,

basepaddr 0xe0000000 framesize: 28,

basepaddr 0xf0000000 framesize: 27,

basepaddr 0xf8000000 framesize: 26,

basepaddr 0xfc000000 framesize: 25,

basepaddr 0xfe000000 framesize: 23,

basepaddr 0xfe800000 framesize: 22,

basepaddr 0xfec01000 framesize: 12,

basepaddr 0xfec02000 framesize: 13,

basepaddr 0xfec04000 framesize: 14,

basepaddr 0xfec08000 framesize: 15,

basepaddr 0xfec10000 framesize: 16,

basepaddr 0xfec20000 framesize: 17,

basepaddr 0xfec40000 framesize: 18,

basepaddr 0xfec80000 framesize: 19,

basepaddr 0xfed00000 framesize: 20,

basepaddr 0xfee01000 framesize: 12,

basepaddr 0xfee02000 framesize: 13,

basepaddr 0xfee04000 framesize: 14,

basepaddr 0xfee08000 framesize: 15,

basepaddr 0xfee10000 framesize: 16,

basepaddr 0xfee20000 framesize: 17,

basepaddr 0xfee40000 framesize: 18,

basepaddr 0xfee80000 framesize: 19,

basepaddr 0xfef00000 framesize: 20,

basepaddr 0xff000000 framesize: 23,

basepaddr 0xff800000 framesize: 22,

basepaddr 0xffc00000 framesize: 21,

basepaddr 0xffe00000 framesize: 20,

basepaddr 0xfff00000 framesize: 19,

basepaddr 0xfff80000 framesize: 18,

basepaddr 0xfffc0000 framesize: 17,

basepaddr 0xfffe0000 framesize: 16,

copied caps:41

process spawned

rump kernel bare metal bootstrap


Starting paddr: 0x110d8000

Copyright (c) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,

    2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016

    The NetBSD Foundation, Inc.  All rights reserved.

Copyright (c) 1982, 1986, 1989, 1991, 1993

    The Regents of the University of California.  All rights reserved.


NetBSD 7.99.34 (RUMP-ROAST)

total memory = 39872 KB

timecounter: Timecounters tick every 10.000 msec

timecounter: Timecounter "clockinterrupt" frequency 100 Hz quality 0

cpu0 at thinair0: rump virtual cpu

root file system type: rumpfs

kern.module.path=/stand/i386/7.99.34/modules

mainbus0 (root)

pci0 at mainbus0 bus 0

pci0: i/o space, memory space enabled, rd/line, rd/mult, wr/inv ok

vendor 8086 product 7190 (host bridge, revision 0x01) at pci0 dev 0 function 0 not configured

vendor 8086 product 7191 (PCI bridge, revision 0x01) at pci0 dev 1 function 0 not configured

vendor 8086 product 7110 (ISA bridge, revision 0x08) at pci0 dev 7 function 0 not configured

vendor 8086 product 7111 (IDE mass storage, interface 0x8a, revision 0x01) at pci0 dev 7 function 1 not configured

vendor 8086 product 7113 (miscellaneous bridge, revision 0x08) at pci0 dev 7 function 3 not configured

vendor 15ad product 0740 (miscellaneous system, revision 0x10) at pci0 dev 7 function 7 not configured

vendor 15ad product 0405 (VGA display) at pci0 dev 15 function 0 not configured

vendor 104b product 1040 (SCSI mass storage, revision 0x01) at pci0 dev 16 function 0 not configured

vendor 15ad product 0790 (PCI bridge, subtractive decode, revision 0x02) at pci0 dev 17 function 0 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 21 function 0 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 21 function 1 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 21 function 2 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 21 function 3 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 21 function 4 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 21 function 5 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 21 function 6 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 21 function 7 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 22 function 0 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 22 function 1 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 22 function 2 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 22 function 3 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 22 function 4 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 22 function 5 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 22 function 6 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 22 function 7 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 23 function 0 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 23 function 1 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 23 function 2 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 23 function 3 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 23 function 4 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 23 function 5 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 23 function 6 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 23 function 7 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 24 function 0 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 24 function 1 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 24 function 2 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 24 function 3 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 24 function 4 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 24 function 5 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 24 function 6 not configured

vendor 15ad product 07a0 (PCI bridge, revision 0x01) at pci0 dev 24 function 7 not configured

timecounter: Timecounter "bmktc" frequency 1000000000 Hz quality 100

mounted tmpfs on /tmp

cannot init wm0 (18)

rumprun: configuring dhcp for wm0 failed: 18


=== bootstrap failed

rump kernel halting...

syncing disks... done

unmounting file systems...

unmounted tmpfs on /tmp type tmpfs

unmounted rumpfs on / type rumpfs

unmounting done

halted

bmk_platform_halt@kernel.c:95 All is well in the universe.