I booted the Linux PC several times and then always created a new system
configuration with "sudo jailhouse config create configs/x86/sysconfig.c".
Interestingly, the configuration generated in this way is always slightly
different!
The following section is always affected:
/* MemRegion: 100000000-23f1fffff : System RAM */
{
.phys_start = 0x100000000,
.virt_start = 0x100000000,
.size = 0x13f200000,
.flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
},
/* MemRegion: 23f200000-241ffffff : Kernel */
{
.phys_start = 0x23f200000,
.virt_start = 0x23f200000,
.size = 0x2e00000,
.flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
},
/* MemRegion: 242000000-41f37ffff : System RAM */
{
.phys_start = 0x242000000,
.virt_start = 0x242000000,
.size = 0x1dd380000,
.flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
},
What can be the reason?
Shouldn't the generated configuration always be the same?
--
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/df0e6993-5f54-4d99-95f6-b3a36ce677d1o%40googlegroups.com.
