PXELINUX 6.03 PXE 20150816 Copyright (C) 1994-2014 H. Peter Anvin et al boot: Loading sel4kernel... ok Loading sel4rootserver... ok Boot config: parsing cmdline 'sel4kernel' Boot config: console_port = 0x3f8 Boot config: debug_port = 0x3f8 Boot config: disable_iommu = false Detected 1 boot module(s): module #0: start=0x1d5000 end=0x4ac628 size=0x2d7628 name='sel4rootserver' Parsing GRUB physical memory map Physical Memory Region from 0 size 9d800 type 1 Physical Memory Region from 9d800 size 2800 type 2 Physical Memory Region from e0000 size 20000 type 2 Physical Memory Region from 100000 size d51dd000 type 1 Adding physical memory region 0x100000-0x1fc00000 Physical Memory Region from d52dd000 size 7000 type 4 Physical Memory Region from d52e4000 size 436000 type 1 Physical Memory Region from d571a000 size 497000 type 2 Physical Memory Region from d5bb1000 size 533a000 type 1 Physical Memory Region from daeeb000 size 115000 type 2 Physical Memory Region from db000000 size 760000 type 1 Physical Memory Region from db760000 size a0000 type 2 Physical Memory Region from db800000 size 7ae000 type 1 Physical Memory Region from dbfae000 size 52000 type 3 Physical Memory Region from dc000000 size 171d000 type 1 Physical Memory Region from dd71d000 size e3000 type 4 Physical Memory Region from dd800000 size 1611000 type 1 Physical Memory Region from dee11000 size 1ef000 type 2 Physical Memory Region from f8000000 size 4000000 type 2 Physical Memory Region from fec00000 size 1000 type 2 Physical Memory Region from fed00000 size 4000 type 2 Physical Memory Region from fed1c000 size 4000 type 2 Physical Memory Region from fee00000 size 1000 type 2 Physical Memory Region from ff000000 size 1000000 type 2 Physical memory region not addressable Multiboot gave us no video information ACPI: RSDP paddr=0xf0490 ACPI: RSDP vaddr=0xdfcf0490 ACPI: RSDT paddr=0xdbfee028 ACPI: RSDT vaddr=0xdffee028 ***WARNING*** SKIM window not enabled, this machine is probably vulernable to Meltdown (https://www.meltdownattack.com), consider enabling Kernel loaded to: start=0x100000 end=0x13a000 size=0x3a000 entry=0x100076 ACPI: RSDT paddr=0xdbfee028 ACPI: RSDT vaddr=0xdffee028 ACPI: FADT paddr=0xdbfee110 ACPI: FADT vaddr=0xdffee110 ACPI: FADT flags=0x384a5 ACPI: DMAR paddr=0xdbffe350 ACPI: DMAR vaddr=0xdfffe350 ACPI: IOMMU host address width: 39 ACPI: registering RMRR entry for region for device: bus=0x0 dev=0x1d fun=0x0 ACPI: registering RMRR entry for region for device: bus=0x0 dev=0x1a fun=0x0 ACPI: registering RMRR entry for region for device: bus=0x0 dev=0x14 fun=0x0 ACPI: 1 IOMMUs detected ACPI: MADT paddr=0xdbff9c28 ACPI: MADT vaddr=0xdfff9c28 ACPI: MADT apic_addr=0xfee00000 ACPI: MADT flags=0x1 ACPI: MADT_APIC apic_id=0x0 ACPI: MADT_APIC apic_id=0x2 ACPI: Not recording this APIC, only support 1 ACPI: MADT_APIC apic_id=0x4 ACPI: Not recording this APIC, only support 1 ACPI: MADT_APIC apic_id=0x6 ACPI: Not recording this APIC, only support 1 ACPI: MADT_IOAPIC ioapic_id=8 ioapic_addr=0xfec00000 gsib=0 ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0 ACPI: MADT_ISO bus=0 source=9 gsi=9 flags=0xd ACPI: 1 CPU(s) detected ELF-loading userland images from boot modules: BOOT MODULE: 0x1d5000: 464c457f 0x1d5010: 30002 0x1d5020: 2d71f0 0x1d5030: 1a001b 0x1d5040: 8048000 0x1d5050: 1000 0x1d5060: 8049000 0x1d5070: 1000 0x1d5080: 808d000 0x1d5090: 1000 0x1d50a0: 80a0ff0 0x1d50b0: 1000 0x1d50c0: 8048114 0x1d50d0: 4 0x1d50e0: 0 0x1d50f0: 10 0x1d5100: 80a0ff0 0x1d5110: 1 0x1d5120: 554e47 0x1d5130: c9d08b22 0x1d5140: 0 0x1d5150: 0 0x1d5160: 0 0x1d5170: 0 0x1d5180: 0 0x1d5190: 0 0x1d51a0: 0 0x1d51b0: 0 0x1d51c0: 0 0x1d51d0: 0 0x1d51e0: 0 0x1d51f0: 0 0x1d5200: 0 0x1d5210: 0 0x1d5220: 0 0x1d5230: 0 0x1d5240: 0 0x1d5250: 0 0x1d5260: 0 0x1d5270: 0 0x1d5280: 0 0x1d5290: 0 0x1d52a0: 0 0x1d52b0: 0 0x1d52c0: 0 0x1d52d0: 0 0x1d52e0: 0 0x1d52f0: 0 0x1d5300: 0 0x1d5310: 0 size=0x34b000 v_entry=0x80705e8 v_start=0x8048000 v_end=0x8393000 p_start=0x4ad000 p_end=0x7f8000 Moving loaded userland images to final location: from=0x4ad000 to=0x13a000 size=0x34b000 Starting node #0 with APIC ID 0 IOMMU 0x0: 8-bit domain IDs supported IOMMU: Using 4 page-table levels (max. supported: 4) IOMMU: Create VTD context table for PCI bus 0x0 (pptr=0xffbe5000) IOMMU: Create VTD context table for PCI bus 0x1 (pptr=0xffbd8000) ... IOMMU: Create VTD context table for PCI bus 0xfb (pptr=0xffade000) IOMMU: Create VTD context table for PCI bus 0xfc (pptr=0xffadd000) IOMMU: Create VTD context table for PCI bus 0xfd (pptr=0xffadc000) IOMMU: Create VTD context table for PCI bus 0xfe (pptr=0xffadb000) IOMMU: Create VTD context table for PCI bus 0xff (pptr=0xffada000) IOMMU 0x0: enabling... enabled Booting all finished, dropped to user space Received reserved IRQ: 124IOMMU: DMA read page fault from 0xd0 (bus: 0x0/dev: 0x1a/fun: 0x0) on address 0x0:dee13000 with reason code 0x6 Node 0 of 1 IOPT levels: 4 IPC buffer: 0x8393000 Empty slots: [931 --> 4096) sharedFrames: [0 --> 0) userImageFrames: [14 --> 857) userImagePaging: [12 --> 13) untypeds: [857 --> 931) Initial thread domain: 0 Initial thread cnode size: 12 List of untypeds ------------------ Paddr | Size | Device 0x100000 | 15 | 0 0x108000 | 14 | 0 0x10c000 | 12 | 0 0x485000 | 12 | 0 0x486000 | 13 | 0 0x488000 | 15 | 0 0x490000 | 16 | 0 0x4a0000 | 17 | 0 0x4c0000 | 18 | 0 0x500000 | 20 | 0 0x600000 | 21 | 0 0x800000 | 23 | 0 0x1000000 | 24 | 0 0x2000000 | 25 | 0 0x4000000 | 26 | 0 0x8000000 | 27 | 0 0x10000000 | 27 | 0 0x18000000 | 26 | 0 0x1c000000 | 25 | 0 0x1e000000 | 24 | 0 0x1f000000 | 23 | 0 0x1f800000 | 21 | 0 0x1fa00000 | 19 | 0 0x1fa80000 | 18 | 0 0x1fac0000 | 16 | 0 0x1fad0000 | 15 | 0 0x1fad8000 | 13 | 0 0 | 20 | 1 0x1fc00000 | 22 | 1 0x20000000 | 29 | 1 0x40000000 | 29 | 1 0x60000000 | 29 | 1 0x80000000 | 29 | 1 ... Untyped summary 5 untypeds of size 12 5 untypeds of size 13 4 untypeds of size 14 6 untypeds of size 15 6 untypeds of size 16 5 untypeds of size 17 6 untypeds of size 18 5 untypeds of size 19 4 untypeds of size 20 3 untypeds of size 21 3 untypeds of size 22 4 untypeds of size 23 2 untypeds of size 24 3 untypeds of size 25 3 untypeds of size 26 3 untypeds of size 27 1 untypeds of size 28 6 untypeds of size 29 Switching to a safer, bigger stack... seL4 Test ========= 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 vspace_reserve_range_at@vspace.h:645 vspace is NULL create_reservations@elf.c:254 Failed to make reservation: 0x8048000, 4096 elf_reserve_regions_in_vspace@elf.c:447 Failed to create reservations sel4utils_elf_reserve@elf.c:482 Failed to reserve regions Starting test suite sel4test Starting test 0: Test that there are tests Starting test 1: SYSCALL0000 Starting test 2: SYSCALL0001 <> <> <> <> <> <> <> ... Starting test 121: TRIVIAL0001 Running test TRIVIAL0001 (Ensure the allocator works) Test TRIVIAL0001 passed Starting test 122: TRIVIAL0002 Running test TRIVIAL0002 (Ensure the allocator works more than once) Test TRIVIAL0002 passed Starting test 123: VSPACE0000 Running test VSPACE0000 (Test threads in different cspace/vspace) Test VSPACE0000 passed Starting test 124: VSPACE0002 Running test VSPACE0002 (Test create ASID pool) <> Test VSPACE0002 passed Starting test 125: VSPACE0010 Running test VSPACE0010 (Test dirty and accessed bits on mappings) Test VSPACE0010 passed Starting test 127: Test all tests ran Test suite passed. 127 tests passed. 39 tests disabled. All is well in the universe