Hi Chris, Unfortunately I was not able to reproduce your issue.
I did a checkout following your instructions and used this manifest: https://github.com/seL4/camkes-vm-examples-manifest/blob/e37e3e259ff7dd5060eb3e8b7ddc8e46009d9ef7/default.xml I changed the FPU save method, and ran the resulting images using the same qemu line as you. I booted to the login prompt in about 5 seconds from when the seL4 kernel loaded. The images I built are here: https://cloudstor.aarnet.edu.au/plus/s/IPH5dU4Ri0lnZxb My output is attached. $ qemu-system-x86_64 --version QEMU emulator version 2.12.0 (Debian 1:2.12+dfsg-3) Copyright (c) 2003-2017 Fabrice Bellard and the QEMU Project developers Kind regards, Kent.
SeaBIOS (version 1.11.1-1) iPXE (http://ipxe.org) 00:03.0 C980 PCI2.10 PnP PMM+1FF90100+1FED0100 C980 Booting from ROM.. Boot config: parsing cmdline 'images/kernel-ia32-pc99 ' Boot config: console_port = 0x3f8 Boot config: debug_port = 0x3f8 Boot config: disable_iommu = false Detected 1 boot module(s): module #0: start=0x149000 end=0x179f260 size=0x1656260 name='images/capdl-loader-image-ia32-pc99' Parsing GRUB physical memory map Physical Memory Region from 0 size 9fc00 type 1 Physical Memory Region from 9fc00 size 400 type 2 Physical Memory Region from f0000 size 10000 type 2 Physical Memory Region from 100000 size 1fee0000 type 1 Adding physical memory region 0x100000-0x1fc00000 Physical Memory Region from 1ffe0000 size 20000 type 2 Physical Memory Region from feffc000 size 4000 type 2 Physical Memory Region from fffc0000 size 40000 type 2 Multiboot gave us no video information ACPI: RSDP paddr=0xf5b90 ACPI: RSDP vaddr=0xdfcf5b90 ACPI: RSDT paddr=0x1ffe157c ACPI: RSDT vaddr=0xdffe157c ***WARNING*** SKIM window not enabled, this machine is probably vulernable to Meltdown (https://www.melg Kernel loaded to: start=0x100000 end=0x148000 size=0x48000 entry=0x100076 ACPI: RSDT paddr=0x1ffe157c ACPI: RSDT vaddr=0xdffe157c ACPI: FADT paddr=0x1ffe1458 ACPI: FADT vaddr=0xdffe1458 ACPI: FADT flags=0x80a5 ACPI: 0 IOMMUs detected ACPI: MADT paddr=0x1ffe14cc ACPI: MADT vaddr=0xdffe14cc ACPI: MADT apic_addr=0xfee00000 ACPI: MADT flags=0x1 ACPI: MADT_APIC apic_id=0x0 ACPI: MADT_IOAPIC ioapic_id=0 ioapic_addr=0xfec00000 gsib=0 ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0 ACPI: MADT_ISO bus=0 source=5 gsi=5 flags=0xd ACPI: MADT_ISO bus=0 source=9 gsi=9 flags=0xd ACPI: MADT_ISO bus=0 source=10 gsi=10 flags=0xd ACPI: MADT_ISO bus=0 source=11 gsi=11 flags=0xd ACPI: 1 CPU(s) detected ELF-loading userland images from boot modules: size=0x2067000 v_entry=0x805276e v_start=0x8048000 v_end=0xa0af000 p_start=0x17a0000 p_end=0x3807000 Moving loaded userland images to final location: from=0x17a0000 to=0x148000 size=0x2067000 Starting node #0 with APIC ID 0 vt-x: Load IA32_PERF_GLOBAL_CONTROL not supported. Hardware debugging may not work Booting all finished, dropped to user space <<seL4(CPU 0) [decodeUntypedInvocation/209 T0xffbef400 "rootserver" @8049418]: Untyped Retype: Insuffic> [email protected]:23 Could not find info Single bus detected lib_pci_scan_dev found pci device 0 0 BASE_ADDR[0] ---- BASE_ADDR[1] ---- BASE_ADDR[2] ---- BASE_ADDR[3] ---- BASE_ADDR[4] ---- BASE_ADDR[5] ---- PCI :: 00.00.00 : intel intel_82441 (vid 0x8086 did 0x1237) line0 pin0 lib_pci_scan_dev found pci device 0 1 BASE_ADDR[0] ---- BASE_ADDR[1] ---- BASE_ADDR[2] ---- BASE_ADDR[3] ---- BASE_ADDR[4] ---- BASE_ADDR[5] ---- PCI :: 00.01.00 : intel intel_82371sb_0 (vid 0x8086 did 0x7000) line0 pin0 lib_pci_scan_dev found multi function device 0 1 BASE_ADDR[0] ---- BASE_ADDR[1] ---- BASE_ADDR[2] ---- BASE_ADDR[3] ---- BASE_ADDR[4] ---- base_addr_space[4]: 0x1 [PCI_BASE_ADDRESS_SPACE_IO] base_addr_type[4]: 0x0 [ 32bit ] base_addr_prefetchable[4]: no base_addr[4]: 0xc040 base_addr_size_mask[4]: 0xfffffff0 BASE_ADDR[5] A BASE_ADDR[5---- PCI :: 00.01.01 : intel intel_82371sb_1 (vid 0x8086 did 0x7010) line0 pin0 BAR4 : [ io 0xc040 sz 0x10 szmask 0xfffffff0 ] BASE_ADDR[0] ---- BASE_ADDR[1] ---- BASE_ADDR[2] ---- BASE_ADDR[3] ---- BASE_ADDR[4] ---- BASE_ADDR[5] ---- PCI :: 00.01.03 : intel intel_82371ab_3 (vid 0x8086 did 0x7113) line9 pin1 lib_pci_scan_dev found pci device 0 2 BASE_ADDR[0] ---- base_addr_space[0]: 0x0 [PCI_BASE_ADDRESS_SPACE_MEMORY] base_addr_type[0]: 0x0 [ 32bit ] base_addr_prefetchable[0]: yes base_addr[0]: 0xfd000000 base_addr_size_mask[0]: 0xff000000 BASE_ADDR[1] ---- BASE_ADDR[2] ---- base_addr_space[2]: 0x0 [PCI_BASE_ADDRESS_SPACE_MEMORY] base_addr_type[2]: 0x0 [ 32bit ] base_addr_pref ssertion failed: !"unreachable" (vm0/fs_seL4RPCDataport_0.c: fs__run: 433) base_addr_prefetchable[2]: noetchable[2]: no base_addr[2]: 0xfebf0000 base_addr_size_mask[2]: 0xfffff000 BASE_ADDR[3] ---- BASE_ADDR[4] ---- BASE_ADDR[5] ---- PCI :: 00.02.00 : Unknown vendor ID. Unknown device ID. (vid 0x1234 did 0x1111) line0 pin0 BAR0 : [ mem 0xfd000000 sz 0x1000000 szmask 0xff000000 prefetch ] BAR2 : [ mem 0xfebf0000 sz 0x1000 szmask 0xfffff000 ] lib_pci_scan_dev found pci device 0 3 BASE_ADDR[0] ---- base_addr_space[0]: 0x0 [PCI_BASE_ADDRESS_SPACE_MEMORY] base_addr_type[0]: 0x0 [ 32bit ] base_addr_prefetchable[0]: no base_addr[0]: 0xfebc0000 base_addr_size_mask[0]: 0xfffe0000 BASE_ADDR[1] ---- base_addr_space[1]: 0x1 [PCI_BASE_ADDRESS_SPACE_IO] base_addr_type[1]: 0x0 [ 32bit ] base_addr_prefetchable[1]: no base_addr[1]: 0xc000 base_ad base_addr_size_mask[1]: 0xffffffc0 BASE_ADDR[2] ---- BASE_ADDR[3] ---- BASE_ADDR[4] ---- BASE_ADDR[5] ---- PCI :: 00.03.00 : intel Unknown device ID. (vid 0x8086 did 0x100e) line11 pin1 BAR0 : [ mem 0xfebc0000 sz 0x20000 szmask 0xfffe0000 ] BAR1 : [ io 0xc000 sz 0x40 szmask 0xffffffc0 ] [email protected]:596 simple_get_sched_ctrl not implemented Add guest memory region 0x500-0x7c00 Will be allocating region 0x0-0x8000 after page alignment Guest RAM regions after allocating range 0x500-0x7c00: 0x500-0x7c00 (29K) free Add guest memory region 0x7e00-0x80000 Will be allocating region 0x7000-0x80000 after page alignment [email protected]:589 Range not available at 0x7000, size 0x1 Guest RAM regions after allocating range 0x7e00-0x80000: 0x500-0x7555555500-0x7c00 (c00 (29K) free 0x7e00-0x80000 (480K) free Add guest memory region 0x80000-0x9fc00 Will be allocating region 0x80000-0xa0000 after page alignment Guest RAM regions after allocating range 0x80000-0x9fc00: 0x500-0x7c00 (29K) free 0x7e00-0x9fc00 (607K) free Add guest memory region 0xf0000-0x100000 Will be allocating region 0xf0000-0x100000 after page alignment Add guest memory region 0xe0000-0xf0000 Will be allocating region 0xe0000-0xf0000 after page alignment Add guest memory region 0xc0000-0xc8000 Will be allocating region 0xc0000-0xc8000 after page alignment Add guest memory region 0xc8000-0xe0000 Will be allocating region 0xc8000-0xe0000 after page alignment be allocat be allocat be allocat be allocat be allocat be allocatGuest RAM regions after allocating ra: 0x500-0x7c00 (29K) free 0x7e00-0x9fc00 (607K) free 0x10000000-0x18000000 (128M) free Guest kernel is compiled to be located at paddr 0x1000000 vaddr 0xc1000000 Guest kernel allocated 1:1 start is at paddr = 0x10000000 Therefore relocation offset is 251658240 (0xf000000) Guest memory layout after loading elf 0x500-0x7c00 (29K) free 0x7e00-0x9fc00 (607K) free 0x10000000-0x10877000 (8M) allocated 0x10877000-0x18000000 (119M) free vmm_plat_guest_elf_relocate:72 | plat: relocating guest kernel from 0x1000000 --> 0x10000000 vmm_plat_guest_elf_relocate:75 | plat: opening relocs file bzimage vmm_plat_guest_elf_relocate:136 | 50000 relocs done. vmm_plat_guest_elf_relocate:136 | 100000 relocs done. vmm_plat_guest_elf_relocate:140 | plat: 1908189 kernel relocations completed. Loading boot module "rootfs.cpio" at 0x10877000 Guest memory after loading initrd: 0x500-0x7c00 (29K) free 0x7e00-0x9fc00 (607K) free 0x10000000-0x11288400 (18M) allocated 0x11288400-0x18000000 (109M) free Guest page dir allocated at 0x18000000. Creating 1-1 entries Constructing guest cmdline at 0x500 of size 142 Guest boot info allocated at 0x58f. Populating... Constructing e820 memory map for guest with: 0x500-0x158f (4K) allocated 0x158f-0x7c00 (25K) free 0x7e00-0x9fc00 (607K) free 0x10000000-0x11288400 (18M) allocated 0x11288400-0x18000000 (109M) free Final e820 map is: 0x0 - 0x500 type 2 0x500 - 0x7c00 type 1 0x7c00 - 0x7e00 type 2 0x7e00 - 0x9fc00 type 1 0x9fc00 - 0x10000000 type 2 0x10000000 - 0x18000000 type 1 0x18000000 - 0x0 type 2 make_guest_acpi_tables:65 | Making ACPI tables make_guest_acpi_tables:157 | ACPI table "XSDT", addr = 0xe1000, size = 44 bytes make_guest_acpi_tables:157 | ACPI table "APIC", addr = 0xe102c, size = 52 bytes Add guest memory region 0xe0000-0xe0024 Will be allocating region 0xe0000-0xe1000 after page alignment [email protected]:589 Range not available at 0xe0000, size 0x1 make_guest_acpi_tables:190 | ACPI RSDP addr = 0xe0000 Initializing guest to start running at 0x10000000 vmm_run:145 | VMM MAIN HOST MODULE STARTED [ 0.000000] Linux version 4.8.16 (adamf@shinyu-un) (gcc version 6.3.0 20170516 (Debian 6.3.0-18+deb98 [ 0.000000] Disabled fast string operations [ 0.000000] x86/fpu: Legacy x87 FPU detected. [ 0.000000] x86/fpu: Using 'eager' FPU context switches. [ 0.000000] e820: BIOS-provided physical RAM map: [ 0.000000] BIOS-e820: [mem 0x0000000000000000-0x00000000000004ff] reserved [ 0.000000] BIOS-e820: [mem 0x0000000000000500-0x0000000000007bff] usable [ 0.000000] BIOS-e820: [mem 0x0000000000007c00-0x0000000000007dff] reserved [ 0.000000] BIOS-e820: [mem 0x0000000000007e00-0x000000000009fbff] usable [ 0.000000] BIOS-e820: [mem 0x000000000009fc00-0x000000000fffffff] reserved [ 0.000000] BIOS-e820: [mem 0x0000000010000000-0x0000000017ffffff] usable [ 0.000000] BIOS-e820: [mem 0x0000000018000000-0x00000000ffffffff] reserved [ 0.000000] bootconsole [earlyser0] enabled [ 0.000000] Notice: NX (Execute Disable) protection missing in CPU! [ 0.000000] DMI not present or invalid. [ 0.000000] e820: update [mem 0x00000000-0x00000fff] usable ==> reserved [ 0.000000] e820: remove [mem 0x000a0000-0x000fffff] usable [ 0.000000] e820: last_pfn = 0x18000 max_arch_pfn = 0x100000 [ 0.000000] MTRR: Disabled [ 0.000000] x86/PAT: MTRRs disabled, skipping PAT initialization too. [ 0.000000] x86/PAT: Configuration [0-7]: WB WT UC- UC WB WT UC- UC [ 0.000000] Scanning 2 areas for low memory corruption [ 0.000000] initial memory mapped: [mem 0x00000000-0x10bfffff] [ 0.000000] Base memory trampoline at [c009b000] 9b000 size 16384 [ 0.000000] BRK [0x10794000, 0x10794fff] PGTABLE [ 0.000000] RAMDISK: [mem 0x10877000-0x11288fff] [ 0.000000] 384MB LOWMEM available. [ 0.000000] mapped low ram: 0 - 18000000 [ 0.000000] low ram: 0 - 18000000 [ 0.000000] Zone ranges: [ 0.000000] DMA [mem 0x0000000000001000-0x0000000000ffffff] [ 0.000000] Normal [mem 0x0000000001000000-0x0000000017ffffff] [ 0.000000] Movable zone start for each node [ 0.000000] Early memory node ranges [ 0.000000] node 0: [mem 0x0000000000001000-0x0000000000006fff] [ 0.000000] node 0: [mem 0x0000000000008000-0x000000000009efff] [ 0.000000] node 0: [mem 0x0000000010000000-0x0000000017ffffff] [ 0.000000] Initmem setup node 0 [mem 0x0000000000001000-0x0000000017ffffff] [ 0.000000] On node 0 totalpages: 32925 [ 0.000000] free_area_init_node: node 0, pgdat d0682b40, node_mem_map d7ce4020 [ 0.000000] DMA zone: 32 pages used for memmap [ 0.000000] DMA zone: 0 pages reserved [ 0.000000] DMA zone: 157 pages, LIFO batch:0 [ 0.000000] Normal zone: 736 pages used for memmap [ 0.000000] Normal zone: 32768 pages, LIFO batch:7 [ 0.000000] e820: [mem 0x10000000-0x103fffff] available for PCI devices [ 0.000000] clocksource: refined-jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 1911s [ 0.000000] pcpu-alloc: s0 r0 d32768 u32768 alloc=1*32768 [ 0.000000] pcpu-alloc: [0] 0 [ 0.000000] Built 1 zonelists in Zone order, mobility grouping on. Total pages: 32157 [ 0.000000] Kernel command line: earlyprintk=ttyS0,115200 console=ttyS0,115200 i8042.nokbd=y i8042.nm [ 0.000000] PID hash table entries: 512 (order: -1, 2048 bytes) [ 0.000000] Dentry cache hash table entries: 16384 (order: 4, 65536 bytes) [ 0.000000] Inode-cache hash table entries: 8192 (order: 3, 32768 bytes) [ 0.000000] Initializing CPU#0 [ 0.000000] Memory: 110208K/131700K available (4612K kernel code, 342K rwdata, 1740K rodata, 284K in) [ 0.000000] virtual kernel memory layout: [ 0.000000] fixmap : 0xfffe4000 - 0xfffff000 ( 108 kB) [ 0.000000] vmalloc : 0xd8800000 - 0xfffe2000 ( 631 MB) [ 0.000000] lowmem : 0xc0000000 - 0xd8000000 ( 384 MB) [ 0.000000] .init : 0xd068e000 - 0xd06d5000 ( 284 kB) [ 0.000000] .data : 0xd04815b8 - 0xd068ca40 (2093 kB) [ 0.000000] .text : 0xd0000000 - 0xd04815b8 (4613 kB) [ 0.000000] Checking if this processor honours the WP bit even in supervisor mode...Ok. [ 0.000000] SLUB: HWalign=32, Order=0-3, MinObjects=0, CPUs=1, Nodes=1 [ 0.000000] NR_IRQS:16 nr_irqs:16 16 [ 0.000000] CPU 0 irqstacks, hard=d7808000 soft=d780a000 [ 0.000000] Console: colour dummy device 80x25 [ 0.000000] console [ttyS0] enabled [ 0.000000] console [ttyS0] enabled [ 0.000000] bootconsole [earlyser0] disabled [ 0.000000] bootconsole [earlyser0] disabled [ 0.000000] tsc: Unable to calibrate against PIT [ 0.000000] tsc: No reference (HPET/PMTIMER) available [ 0.000000] tsc: Marking TSC unstable due to could not calculate TSC khz [ 0.030000] Calibrating delay loop... 6668.28 BogoMIPS (lpj=33341440) [ 0.090000] pid_max: default: 32768 minimum: 301 [ 0.090000] Security Framework initialized [ 0.090000] Mount-cache hash table entries: 1024 (order: 0, 4096 bytes) [ 0.090000] Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes) [ 0.100000] Disabled fast string operations [ 0.100000] Last level iTLB entries: 4KB 0, 2MB 0, 4MB 0 [ 0.100000] Last level dTLB entries: 4KB 0, 2MB 0, 4MB 0, 1GB 0 [ 0.110000] CPU: Intel Core i7 9xx (Nehalem Class Core i7) (family: 0x6, model: 0x1a, stepping: 0x3) [ 0.120000] Performance Events: unsupported p6 CPU model 26 no PMU driver, software events only. [ 0.130000] devtmpfs: initialized [ 0.130000] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 191126044627s [ 0.130000] NET: Registered protocol family 16 [ 0.130000] cpuidle: using governor ladder [ 0.140000] kworker/u2:0 (22) used greatest stack depth: 7292 bytes left [ 0.140000] cpuidle: using governor menu [ 0.140000] clocksource: pit: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 1601818034827 ns [ 0.150000] PCI: Using configuration type 1 for base access [ 0.150000] vgaarb: loaded [ 0.160000] SCSI subsystem initialized [ 0.160000] libata version 3.00 loaded. [ 0.160000] usbcore: registered new interface driver usbfs [ 0.160000] usbcore: registered new interface driver hub [ 0.160000] usbcore: registered new device driver usb [ 0.170000] pps_core: LinuxPPS API ver. 1 registered [ 0.170000] pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <[email protected]> [ 0.170000] PTP clock support registered [ 0.180000] dmi: Firmware registration failed. [ 0.180000] PCI: Probing PCI hardware [ 0.180000] PCI: root bus 00: using default resources [ 0.180000] PCI: Probing PCI hardware (bus 00) [ 0.180000] PCI host bridge to bus 0000:00 [ 0.190000] pci_bus 0000:00: root bus resource [io 0x0000-0xffff] [ 0.190000] pci_bus 0000:00: root bus resource [mem 0x00000000-0xffffffff] [ 0.190000] pci_bus 0000:00: No busn resource found for root bus, will use [bus 00-ff] [ 0.200000] pci 0000:00:00.0: [5e14:0042] type 00 class 0x060000 [ 0.200000] pci_bus 0000:00: busn_res: [bus 00-ff] end is updated to 00 [ 0.200000] PCI: pci_cache_line_size set to 32 bytes [ 0.210000] e820: reserve RAM buffer [mem 0x00007c00-0x0000ffff] [ 0.210000] e820: reserve RAM buffer [mem 0x0009fc00-0x0009ffff] [ 0.210000] NetLabel: Initializing [ 0.210000] NetLabel: domain hash size = 128 [ 0.220000] NetLabel: protocols = UNLABELED CIPSOv4 [ 0.220000] NetLabel: unlabeled traffic allowed by default [ 0.220000] clocksource: Switched to clocksource pit [ 0.220000] VFS: Disk quotas dquot_6.6.0 [ 0.224343] VFS: Dquot-cache hash table entries: 1024 (order 0, 4096 bytes) [ 0.224343] hugetlbfs: disabling because there are no supported hugepage sizes [ 0.232769] pci_bus 0000:00: resource 4 [io 0x0000-0xffff] [ 0.232769] pci_bus 0000:00: resource 5 [mem 0x00000000-0xffffffff] [ 0.232769] NET: Registered protocol family 2 [ 0.232769] TCP established hash table entries: 1024 (order: 0, 4096 bytes) [ 0.245391] TCP bind hash table entries: 1024 (order: 0, 4096 bytes) [ 0.245391] TCP: Hash tables configured (established 1024 bind 1024) [ 0.262274] UDP hash table entries: 256 (order: 0, 4096 bytes) [ 0.262274] UDP-Lite hash table entries: 256 (order: 0, 4096 bytes) [ 0.263715] NET: Registered protocol family 1 [ 0.263715] RPC: Registered named UNIX socket transport module. [ 0.263715] RPC: Registered udp transport module. [ 0.281825] RPC: Registered tcp transport module. [ 0.281825] RPC: Registered tcp NFSv4.1 backchannel transport module. [ 0.281825] PCI: CLS 0 bytes, default 32 [ 0.281825] Unpacking initramfs... [ 0.301352] Freeing initrd memory: 10312K (d0877000 - d1289000) vmm_rdmsr_handler:71 | rdmsr WARNING unsupported msr_no 0x34 vmm_rdmsr_handler:71 | rdmsr WARNING unsupported msr_no 0x3fc vmm_rdmsr_handler:71 | rdmsr WARNING unsupported msr_no 0x3fd vmm_rdmsr_handler:71 | rdmsr WARNING unsupported msr_no 0x3f8 vmm_rdmsr_handler:71 | rdmsr WARNING unsupported msr_no 0x3f9 vmm_rdmsr_handler:71 | rdmsr WARNING unsupported msr_no 0x3fa [ 0.301352] platform rtc_cmos: registered platform RTC device (no PNP device found) [ 0.304211] Scanning for low memory corruption every 60 seconds [ 0.304211] futex hash table entries: 256 (order: -1, 3072 bytes) [ 0.321738] workingset: timestamp_bits=30 max_order=15 bucket_order=0 [ 0.330551] squashfs: version 4.0 (2009/01/31) Phillip Lougher [ 0.330551] NFS: Registering the id_resolver key type [ 0.341973] Key type id_resolver registered [ 0.341973] Key type id_legacy registered [ 0.341973] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 250) [ 0.352342] io scheduler noop registered [ 0.352342] io scheduler deadline registered [ 0.352342] io scheduler cfq registered (default) [ 0.352342] intel_idle: does not run on family 6 model 26 [ 0.361845] Serial: 8250/16550 driver, 4 ports, IRQ sharing enabled [ 0.371669] serial8250: ttyS0 at I/O 0x3f8 (irq = 4, base_baud = 115200) is a 16550A [ 0.371669] Non-volatile memory driver v1.3 [ 0.379123] [drm] Initialized drm 1.1.0 20060810 [ 0.379123] loop: module loaded [ 0.379123] pcnet32: pcnet32.c:v1.35 21.Apr.2008 [email protected] [ 0.390621] e100: Intel(R) PRO/100 Network Driver, 3.5.24-k2-NAPI [ 0.390621] e100: Copyright(c) 1999-2006 Intel Corporation [ 0.390621] e1000: Intel(R) PRO/1000 Network Driver - version 7.3.21-k8-NAPI [ 0.400746] e1000: Copyright (c) 1999-2006 Intel Corporation. [ 0.400746] e1000e: Intel(R) PRO/1000 Network Driver - 3.2.6-k [ 0.400746] e1000e: Copyright(c) 1999 - 2015 Intel Corporation. [ 0.409034] igb: Intel(R) Gigabit Ethernet Network Driver - version 5.3.0-k [ 0.409034] igb: Copyright (c) 2007-2014 Intel Corporation. [ 0.409034] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver [ 0.419402] ehci-pci: EHCI PCI platform driver [ 0.419402] ohci_hcd: USB 1.1 'Open' Host Controller (OHCI) Driver [ 0.419402] ohci-pci: OHCI PCI platform driver [ 0.419402] uhci_hcd: USB Universal Host Controller Interface driver [ 0.429561] usbcore: registered new interface driver usblp [ 0.429561] usbcore: registered new interface driver usb-storage [ 0.429561] rtc_cmos rtc_cmos: rtc core: registered rtc_cmos as rtc0 [ 0.439264] rtc_cmos rtc_cmos: alarms up to one day, 114 bytes nvram [ 0.439264] i2c /dev entries driver [ 0.439264] hidraw: raw HID events driver (C) Jiri Kosina [ 0.449371] usbcore: registered new interface driver usbhid [ 0.449371] usbhid: USB HID core driver [ 0.449371] Netfilter messages via NETLINK v0.30. [ 0.458418] nf_conntrack version 0.5.0 (2048 buckets, 8192 max) [ 0.458418] ctnetlink v0.93: registering with nfnetlink. [ 0.458418] ip_tables: (C) 2000-2006 Netfilter Core Team [ 0.458418] Initializing XFRM netlink socket [ 0.468548] NET: Registered protocol family 10 [ 0.468548] ip6_tables: (C) 2000-2006 Netfilter Core Team [ 0.468548] sit: IPv6, IPv4 and MPLS over IPv4 tunneling driver [ 0.477592] NET: Registered protocol family 17 [ 0.477592] RPC: Registered rdma transport module. [ 0.477592] RPC: Registered rdma backchannel transport module. [ 0.477592] Key type dns_resolver registered [ 0.487110] microcode: sig=0x106a3, pf=0x1, revision=0x1 [ 0.487110] microcode: Microcode Update Driver: v2.01 <[email protected]>, Peter Oruba [ 0.487110] registered taskstats version 1 [ 0.496420] console [netcon0] enabled [ 0.496420] netconsole: network logging started [ 0.496420] Freeing unused kernel memory: 284K (d068e000 - d06d5000) [ 0.496420] Write protecting the kernel text: 4616k [ 0.506370] Write protecting the kernel read-only data: 1748k [ 0.506370] mount (641) used greatest stack depth: 7192 bytes left [ 0.506370] dataport: loading out-of-tree module taints kernel. [ 0.518459] dataport: module license 'unspecified' taints kernel. [ 0.518459] Disabling lock debugging due to kernel taint [ 0.518459] dataport initialized with major number 247 vmm_vmcall_handler:55 | Failed to find handler for token:2 [ 0.527667] incorrect event context magic number (expected 42, got -687632128)insmod: can't insert 'd [ 0.536038] emits_event initialized with major number 245 [ 0.536038] k_vmm_manager: failed on sel4 hypervisor connection |-1| insmod: can't insert '/lib/modules/4.8.16/kernel/drivers/vmm/vmm_manager.ko': Invalid argument insmod: can't insert '/lib/modules/4.8.16/kernel/drivers/vfat/cg-fat.ko': No such file or directory insmod: can't insert '/lib/modules/4.8.16/kernel/drivers/vfat/cg-vfat.ko': No such file or directory Starting logging: [ 0.555313] start-stop-daem (666) used greatest stack depth: 7156 bytes left OK [ 0.564607] S01logging (662) used greatest stack depth: 7132 bytes left Initializing random number generator... [ 0.574607] random: dd: uninitialized urandom read (512 byte) done. Starting network: [ 0.574607] wait_iface (679) used greatest stack depth: 7100 bytes left [ 0.585865] ip (681) used greatest stack depth: 6468 bytes left OK Device "dataport" found with major number 247 Creating dataport node /dev/camkes_reverse_src Creating dataport node /dev/camkes_reverse_dest Allocating 8192 bytes for /dev/camkes_reverse_src vmm_vmcall_handler:55 | Failed to find handler for token:1 Allocating 8192 bytes for /dev/camkes_reverse_dest vmm_vmcall_handler:55 | Failed to find handler for token:1 Creating consuming event node /dev/camkes_reverse_done Creating emitting event node /dev/camkes_reverse_ready Welcome to Buildroot buildroot login: [ 2.205282] random: fast init done QEMU: Terminated
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
