sel4 console output

sel4.out

$ qemu-system-i386 -m 1024 -serial /dev/stdout -vga std -kernel images/kernel-ia32-pc99   -initrd images/capdl-loader-experimental-image-ia32-pc99 -cpu Haswell,+vmx
warning: TCG doesn't support requested feature: CPUID.01H:EDX.vme [bit 1]
warning: TCG doesn't support requested feature: CPUID.01H:ECX.vmx [bit 5]
warning: TCG doesn't support requested feature: CPUID.01H:ECX.fma [bit 12]
warning: TCG doesn't support requested feature: CPUID.01H:ECX.pcid [bit 17]
warning: TCG doesn't support requested feature: CPUID.01H:ECX.x2apic [bit 21]
warning: TCG doesn't support requested feature: CPUID.01H:ECX.tsc-deadline [bit 24]
warning: TCG doesn't support requested feature: CPUID.01H:ECX.xsave [bit 26]
warning: TCG doesn't support requested feature: CPUID.01H:ECX.avx [bit 28]
warning: TCG doesn't support requested feature: CPUID.01H:ECX.f16c [bit 29]
warning: TCG doesn't support requested feature: CPUID.01H:ECX.rdrand [bit 30]
warning: TCG doesn't support requested feature: CPUID.07H:EBX.fsgsbase [bit 0]
warning: TCG doesn't support requested feature: CPUID.07H:EBX.hle [bit 4]
warning: TCG doesn't support requested feature: CPUID.07H:EBX.avx2 [bit 5]
warning: TCG doesn't support requested feature: CPUID.07H:EBX.erms [bit 9]
warning: TCG doesn't support requested feature: CPUID.07H:EBX.invpcid [bit 10]
warning: TCG doesn't support requested feature: CPUID.07H:EBX.rtm [bit 11]
warning: TCG doesn't support requested feature: CPUID.80000001H:EDX.syscall [bit 11]
warning: TCG doesn't support requested feature: CPUID.80000001H:EDX.lm|i64 [bit 29]
warning: TCG doesn't support requested feature: CPUID.0DH:EAX.xsaveopt [bit 0]

Boot config: parsing cmdline 'images/kernel-ia32-pc99 '
Boot config: console_port = 0x3f8
Boot config: debug_port = 0x3f8
Boot config: disable_iommu = false
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 3fee0000 type 1
Adding physical memory region 0x100000-0x1f800000
	Physical Memory Region from 3ffe0000 size 20000 type 2
	Physical Memory Region from fffc0000 size 40000 type 2
Multiboot gave us no video information
Kernel loaded to: start=0x100000 end=0x161000 size=0x61000 entry=0x10005e
ACPI: RSDP paddr=0xf6460
ACPI: RSDP vaddr=0xdfcf6460
ACPI: RSDT paddr=0x3ffe16ee
ACPI: RSDT vaddr=0xdffe16ee
ACPI: FADT paddr=0x3ffe0c14
ACPI: FADT vaddr=0xdffe0c14
ACPI: FADT flags=0x80a5
ACPI: 0 IOMMUs detected
ACPI: MADT paddr=0x3ffe163e
ACPI: MADT vaddr=0xdffe163e
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
Detected 1 IOAPICs, but configured to use PIC instead
Detected 1 boot module(s):
  module #0: start=0x162000 end=0x24481c size=0xe281c name='images/capdl-loader-experimental-image-ia32-pc99'
ELF-loading userland images from boot modules:
size=0x8d000 v_entry=0x804f754 v_start=0x8048000 v_end=0x80d5000 p_start=0x245000 p_end=0x2d2000
Moving loaded userland images to final location: from=0x245000 to=0x161000 size=0x8d000
Starting node #0 with APIC ID 0
Booting all finished, dropped to user space
&mem[0]= 0x8400000
Casting a buffer pointer
Writing to buffer
FAULT HANDLER: data fault from vesa.control (ID 0x1) on address 0xb8000, pc = 0x8048390, fsr = 0x6
FAULT HANDLER:       eip = 0x8048390
FAULT HANDLER:       esp = 0x8168be0
FAULT HANDLER:       eax = 0xb8000
FAULT HANDLER:       ebx = 0xb8fa0
FAULT HANDLER:       ecx = 0x720
FAULT HANDLER:       edx = 0xb80a0
FAULT HANDLER:       esi = 0
FAULT HANDLER:       edi = 0
FAULT HANDLER:       ebp = 0x1
FAULT HANDLER:        fs = 0x3b
FAULT HANDLER:        gs = 0
FAULT HANDLER:    eflags = 0x202
FAULT HANDLER:  tls_base = 0
FAULT HANDLER:   memory map:
FAULT HANDLER:     +-- 0x08169fff --
FAULT HANDLER:     |   guard page
FAULT HANDLER:     +-- 0x08169000 --
FAULT HANDLER:     |   stack
FAULT HANDLER:     +-- 0x08168000 --
FAULT HANDLER:     |   guard page
FAULT HANDLER:     +-- 0x08167000 --
FAULT HANDLER:     |   <undescribed>
FAULT HANDLER:     +-- 0x08163fff --
FAULT HANDLER:     |   guard page
FAULT HANDLER:     +-- 0x08163000 --
FAULT HANDLER:     |   IPC buffer
FAULT HANDLER:     +-- 0x08162000 --
FAULT HANDLER:     |   guard page
FAULT HANDLER:     +-- 0x08161000 --
FAULT HANDLER:     |   <undescribed>
FAULT HANDLER:     +-- 0x0815dfff --
FAULT HANDLER:     |   code and data
FAULT HANDLER:     +-- 0x08048000 --