Skip to content

Instantly share code, notes, and snippets.

View keybase.md

Keybase proof

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:

@podhrmic
podhrmic / out.txt
Created Feb 20, 2018
cam34cr_centos serial output
View out.txt
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
@podhrmic
podhrmic / vgadriver.c
Created Jul 28, 2017
camkes vga driver
View vgadriver.c
/*
* 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)
@podhrmic
podhrmic / sel4.out
Created Jul 28, 2017
sel4 console output
View 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]
View aeroplage.camkes
/*
* 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)