diff options
| author | Yu Chien Peter Lin <peterlin@andestech.com> | 2022-10-14 08:32:46 +0800 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2022-10-23 10:26:39 +0530 |
| commit | ef9f02e7fba47412d6c057ba78fd3d89cb4e5fc3 (patch) | |
| tree | b74d62fd2260c139112ec40eb90975f08ffa2f65 /lib/utils/timer/Kconfig | |
| parent | 88f58a3694c936791eb875d3cc85f1cde41c3d09 (diff) | |
| download | opensbi-ef9f02e7fba47412d6c057ba78fd3d89cb4e5fc3.tar.gz opensbi-ef9f02e7fba47412d6c057ba78fd3d89cb4e5fc3.tar.bz2 opensbi-ef9f02e7fba47412d6c057ba78fd3d89cb4e5fc3.zip | |
lib: utils/timer: Add Andes fdt timer support
Since we can get the PLMT base address and timer frequency from
device tree, move plmt timer device to fdt timer framework.
dts example (Quad-core AX45MP):
cpus {
...
timebase-frequency = <0x3938700>;
...
}
soc {
...
plmt0@e6000000 {
compatible = "andestech,plmt0";
reg = <0x00 0xe6000000 0x00 0x100000>;
interrupts-extended = <&cpu0_intc 0x07
&cpu1_intc 0x07
&cpu2_intc 0x07
&cpu3_intc 0x07>;
};
...
}
Signed-off-by: Yu Chien Peter Lin <peterlin@andestech.com>
Reviewed-by: Anup Patel <anup@brainfault.org>
Diffstat (limited to 'lib/utils/timer/Kconfig')
| -rw-r--r-- | lib/utils/timer/Kconfig | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/utils/timer/Kconfig b/lib/utils/timer/Kconfig index 23c48c5f..ba211b62 100644 --- a/lib/utils/timer/Kconfig +++ b/lib/utils/timer/Kconfig @@ -14,10 +14,19 @@ config FDT_TIMER_MTIMER select TIMER_MTIMER default n +config FDT_TIMER_PLMT + bool "Andes PLMT FDT driver" + select TIMER_PLMT + default n + endif config TIMER_MTIMER bool "ACLINT MTIMER support" default n +config TIMER_PLMT + bool "Andes PLMT support" + default n + endmenu |