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

exynos5: Update device definitions

Browse source 
The max IRQ and devicetree definitions are slightly outdated. This
commit updates these definitions.

Signed-off-by: Damon Lee <Damon.Lee@data61.csiro.au>
This commit is contained in:
Damon Lee 2021-03-05 11:15:16 +11:00 committed by Damon Lee
parent edf5c089db
commit 05222c2288
2 changed files with 21 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/plat/exynos5/config.cmake
View file

@ -59,7 +59,7 @@ if(KernelPlatExynos5)
list(APPEND KernelDTSList "src/plat/exynos5/overlay-${KernelARMPlatform}.dts")
declare_default_headers(
TIMER_FREQUENCY 24000000llu
MAX_IRQ 232
MAX_IRQ 254
NUM_PPI 32
TIMER drivers/timer/arm_generic.h
INTERRUPT_CONTROLLER arch/machine/gic_v2.h

20
tools/dts/exynos5422.dts
View file

@ -3484,6 +3484,26 @@
};
};
mali@11800000 {
compatible = "samsung,exynos5422-mali\0arm,malit628\0arm,malit62x\0arm,malit6xx\0arm,mali-midgard";
reg = <0x11800000 0x5000>;
interrupts = <0x00 0xdb 0x00 0x00 0x4a 0x00 0x00 0x75 0x00>;
interrupt-names = "JOB\0MMU\0GPU";
clocks = <0x02 0x09 0x02 0x312 0x02 0x1f5>;
clock-names = "fout_vpll\0dout_aclk_g3d\0clk_mali";
operating-points-v2 = <0x200>;
status = "okay";
mali-supply = <0x201>;
power_model@0 {
compatible = "arm,mali-simple-power-model";
static-coefficient = <0x250b66>;
dynamic-coefficient = <0x124f>;
ts = <0x4e20 0x7d0 0xffffffec 0x02>;
thermal-zone = "gpu-thermal";
};
};
cpus {
#address-cells = < 0x01 >;
#size-cells = < 0x00 >;