You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
To enable dynamic memory sharing for optee os, I believe that NSEC_DDR_0_BASE and NSEC_DDR_0_SIZE need to be declared, but I don't know how to find the address base and have doubts on which format should the size be declared in.
For my rk3399 system with 4GB of memory I'm using register_ddr(0x00000000, 0xF6000000); now, it appears to work, but I doubt this is the correct values. Unfortunately rk3399's device tree source does not contain the base address, nor can I find this information from SoC's datasheet.
Any ideas on how can I find and validate the memory base and size? is this totally board-dependent?
The text was updated successfully, but these errors were encountered:
This issue has been marked as a stale issue because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment, otherwise this issue will automatically be closed in 5 days. Note, that you can always re-open a closed issue at any time.
I have a Rock4A+ that I've started to play with for testing purposes.
I can't find the memory node in the DTB supposedly used by the kernel.
I'll let you know if I find out anything more.
This issue has been marked as a stale issue because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment, otherwise this issue will automatically be closed in 5 days. Note, that you can always re-open a closed issue at any time.
Hi,
To enable dynamic memory sharing for optee os, I believe that NSEC_DDR_0_BASE and NSEC_DDR_0_SIZE need to be declared, but I don't know how to find the address base and have doubts on which format should the size be declared in.
For my rk3399 system with 4GB of memory I'm using
register_ddr(0x00000000, 0xF6000000);
now, it appears to work, but I doubt this is the correct values. Unfortunately rk3399's device tree source does not contain the base address, nor can I find this information from SoC's datasheet.Any ideas on how can I find and validate the memory base and size? is this totally board-dependent?
The text was updated successfully, but these errors were encountered: