I hereby claim:
- I am podhrmic on github.
- I am podhrmic (https://keybase.io/podhrmic) on keybase.
- I have a public key ASAIh8YiemrgNtT4VhmmNFAZhCqotJha_n1o33djgubI8wo
To claim this, I am signing this object:
Michal Podhradsky podhrmic
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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=0xd34000 end=0x3b387e8 size=0x2e047e8 name='rootserver' | |
| Parsing GRUB physical memory map | |
| Physical Memory Region from 0 size 9d400 type 1 | |
| Physical Memory Region from 9d400 size 2c00 type 2 | |
| Physical Memory Region from e0000 size 20000 type 2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| * Copyright 2017, Data61 | |
| * Commonwealth Scientific and Industrial Research Organisation (CSIRO) | |
| * ABN 41 687 119 230. | |
| * | |
| * This software may be distributed and modified according to the terms of | |
| * the BSD 2-Clause license. Note that NO WARRANTY is provided. | |
| * See "LICENSE_BSD2.txt" for details. | |
| * | |
| * @TAG(DATA61_BSD) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ 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] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| * Copyright 2017, Data61 | |
| * Commonwealth Scientific and Industrial Research Organisation (CSIRO) | |
| * ABN 41 687 119 230. | |
| * | |
| * This software may be distributed and modified according to the terms of | |
| * the BSD 2-Clause license. Note that NO WARRANTY is provided. | |
| * See "LICENSE_BSD2.txt" for details. | |
| * | |
| * @TAG(DATA61_BSD) |