On 30.07.20 18:25, Jakub Lužný wrote:
    Sorry for the late reply. From your description, I also do not see why
    this shouldn't work. Not other changes made than described?


No, just renamed the root cell to make sure I use the right config. I
attached the config to this email.

    If things got that weird, I sometimes instrumented paging_create()
    (printk) to match the actually performed mappings against expectations.
    "jailhouse config check" is now also available, just to double-check.


Thanks for the idea. I tried adding the line:
         printk("paging_create: phys: %lx virt: %lx size: %lx\n", phys,
virt, size);
at the very beginning of paging_create and checked the output on the
serial console. It seems that the second mapping doesn't happen at all.
I attached the log with mappings too.


The reason for your problem is simple, just check the compiler warning
you added: Your mem_regions array is still only 12 elements while you
added a 13th one...

Jan

--
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jailhouse-dev/e2aed10a-4d8f-1d0a-852a-bd399ac5e667%40web.de.

Reply via email to