portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

kernel,bcm2711: Update comment about RPi4 mode

Browse source 
RPi4 is definitely running in low peripheral
mode by default.

Signed-off-by: Joonas Onatsu <joonasx@ssrc.tii.ae>

kernel,bcm2711: Fix RPi4 DTS overlay

The build system mishandling of disjunct
memory areas seems to no longer be true.
It may have been a bug in build system/env,
so remove the comment about it and update
memory node accordingly.

Signed-off-by: Joonas Onatsu <joonasx@ssrc.tii.ae>

kernel,bcm2711: Remove leftover comment

Remove leftover comment about adding DMA
dedicated reserved memory areas.

Signed-off-by: Joonas Onatsu <joonasx@ssrc.tii.ae>
This commit is contained in:
Joonas Onatsu 2022-07-29 17:52:52 +03:00 committed by Gerwin Klein
parent 54ed6f8fa9
commit cb8010176a
1 changed files with 5 additions and 23 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

28
src/plat/bcm2711/overlay-rpi4.dts
View file

@ -23,7 +23,7 @@
* https://github.com/raspberrypi/firmware/issues/1374 for
* reference.
*
* RPi4B seems to be in "low peripheral" mode by default.
* RPi4B runs in "low peripheral" mode by default.
* These values were observed from running
* Raspbian instance from /proc/iomem and /sys/firmware/devicetree/base
*
@ -37,36 +37,18 @@
* 0x01 0x00000000 0x80000000 2048MB
* 0x01 0x80000000 0x80000000 2048MB
*
* Disjunct memory areas seem to work only
* when declared in different memory DT nodes.
*
* If all of the declarations below are in the
* same node, the kernel build system seems
* to only understand the second 3008MB area
* and ignores the rest.
*/
/delete-node/ memory;
memory@0 {
device_type = "memory";
reg = < 0x00000000 0x00000000 0x3b400000 >;
};
memory@40000000 {
device_type = "memory";
reg = < 0x00000000 0x40000000 0xbc000000 >;
};
memory@100000000 {
device_type = "memory";
reg = < 0x00000001 0x00000000 0x80000000
reg = < 0x00000000 0x00000000 0x3b400000
0x00000000 0x40000000 0xbc000000
0x00000001 0x00000000 0x80000000
0x00000001 0x80000000 0x80000000 >;
};
/* TODO: add DMA dedicated ranges
* here also?
*/
reserved-memory {
#address-cells = <0x02>;
#size-cells = <0x01>;
@ -93,7 +75,7 @@
* by declaring it as reserved memory.
*/
reserved-memory@3b400000 {
reg = < 0x00000000 0x3b400000 0x04C00000 >;
reg = < 0x00000000 0x3b400000 0x04c00000 >;
no-map;
};
};