[   1.0000000] NetBSD 10.99.10 (MICROVM) #248: Mon Jun 24 09:03:53 CEST 2024
[   1.0000000]  imil@tatooine:/home/imil/src/github.com/NetBSD-src/sys/arch/amd64/compile/obj/MICROVM
[   1.0000000] total memory = 2048 MB
[   1.0000000] avail memory = 1933 MB
[   1.0000000] timecounter: Timecounters tick every 10.000 msec
[   1.0000000] mainbus0 (root)
[   1.0000000] cpu0 at mainbus0
[   1.0000000] cpu0: Use lfence to serialize rdtsc
[   1.0000000] got tsc from cpu brand
[   1.0000000] cpu0: TSC freq CPUID 3000000000 Hz
[   1.0000000] cpu0: Intel(R) Core(TM) i3-8109U CPU @ 3.00GHz, id 0x806ea
[   1.0000000] cpu0: node 0, package 0, core 0, smt 0
[   1.0000000] cpu0: using event upcall vector: 129
[   1.0000000] hypervisor0 at mainbus0: Xen version 4.18.2
[   1.0000000] hypervisor0: features:  writable_page_tables auto_translated_physmap hvm_callback_vector hvm_safe_pvclock
[   1.0000000] VIRQ_DEBUG interrupt using event channel 3
[   1.0000000] xenbus0 at hypervisor0: Xen Virtual Bus Interface
[   1.0000000] xencons0 at hypervisor0: Xen Virtual Console Driver
[   1.0000000] xencons0: console major 143, unit 0
[   1.0000000] xencons0: using event channel 2
[   1.0000000] isa0 at mainbus0
[   1.0000000] pv0 at mainbus0
[   1.0000000] timecounter: Timecounter "xen_system_time" frequency 1000000000 Hz quality 10000
[   1.0000030] Xen cpu0 clock: using event channel 4
[   1.0000030] timecounter: Timecounter "clockinterrupt" frequency 100 Hz quality 0
[   1.0000030] timecounter: Timecounter "TSC" frequency 3000000000 Hz quality -100
[   1.0000030] xenbus0: using event channel 1