seoul vmm in qemu

[Alexander Boettcher]

Hi Ivan,

On 03.01.24 21:48, Ivan Loskutov wrote:
> I am trying to run seoul demos from genode-world in qemu. It works on my PC but doesn't work on my laptop. The VM is getting stuck on booting. Last messages in the log:
> 
> [init -> seoul] VMM: #   [    0.000000] Console: colour dummy device 80x25
> [init -> seoul] VMM: #   [    0.000000] printk: console [tty0] enabled
> [init -> seoul] VMM: #   [    0.000000] printk: bootconsole [earlyser0] disabled
> [init -> seoul] VMM: [1]
> [init -> seoul] VMM: unsupported rdmsr 396 at 810186f7
> [init -> seoul] VMM: [0]
> [init -> seoul] VMM: unsupported wrmsr 2ff0 <-(0:20000000) at ffffffff8101854f
> 
> 
> I suspect that it can be related to CPU. On PC I have i5-9600K, on laptop - i7-1270P.

according to [0] the wrmsr to 0x2ff0 seems to be ADL_UNC_PERF_GLOBAL_CTL, so indeed is Adlerlake specific.

Unknown wrmsr accesses are handled as fatal and the Seoul VMM with inject a general protection fault (GP) to the guest.

So, you may try to whitelist the access in _handle_wrmsr_intel [2]. At moment the functionality of [0] is not supported/emulated.

Cheers,

Alex.

[0] https://github.com/torvalds/linux/blob/master/arch/x86/events/intel/uncore_snb.c
[1] contrib/seoul/src/app/seoul/model/vcpu.cc

> 
> Any ideas on how to fix it? Thanks!
> 
> -- 
> Best Regards
> Ivan Loskutov
> 
> 
> _______________________________________________
> Genode users mailing list
> users at lists.genode.org
> https://lists.genode.org/listinfo/users

-- 
Alexander Boettcher
Genode Labs

https://www.genodians.org - https://www.genode.org