On 04.02.19 09:14, Arvid Rosén wrote:
Hi,
Thanks for getting back to me!
Jan, of course you are right. I did not reserve the memory needed, but I now
remember reading about it for other platforms. Do you have any idea how to do
it for this particular board? Peng might know I guess.
The description, "Reservation via device tree: reg = <0x0 0xffaf0000 0x0
0x510000>", doesn't get me all the way to understanding exactly how to do this. But I
guess I will need to read up on the device tree and how to reserve memory regions, or can this
be achieved using boot parameters?
If the reservation is at the end of the physical memory, you can also reduce it
via "mem=xxxM". To punch a whole, you do need that device tree change.
reserved-memory = {
jailhouse@ffaf0000 {
reg = <0x0 0xffaf0000 0x0 0x510000>;
no-map;
};
};
Jan
--
Siemens AG, Corporate Technology, CT RDA IOT SES-DE
Corporate Competence Center Embedded Linux
--
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].
For more options, visit https://groups.google.com/d/optout.
