seoul vmm in qemu

[Ivan Loskutov]

Hello Genodians,

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.

Any ideas on how to fix it? Thanks!

--
Best Regards
Ivan Loskutov