Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix DDR region for Odroid-C4

Browse Source 
The Odroid-C4 is supposed to have 4GB of DDR memory.

According to the SoC manual (S905X3 Revision 02) the
DDR region goes from 0x0 to 0xF57FFFFF in Table 7-1.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan Velickovic
2024-02-28 17:25:46 +11:00
committed by Gerwin Klein
parent 903cf7c2a5
commit 3740c2902c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/dts/odroidc4.dts
View File

@@ -2945,7 +2945,7 @@
memory@0 {
device_type = "memory";
reg = <0x00 0x00 0x00 0x40000000>;
reg = <0x00 0x00 0x00 0xf5800000>;
};
emmc-pwrseq {