forked from Mirrors/opensbi
ef9f02e7fb
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>
33 lines
468 B
Plaintext
33 lines
468 B
Plaintext
# SPDX-License-Identifier: BSD-2-Clause
|
|
|
|
menu "Timer Device Support"
|
|
|
|
config FDT_TIMER
|
|
bool "FDT based timer drivers"
|
|
depends on FDT
|
|
default n
|
|
|
|
if FDT_TIMER
|
|
|
|
config FDT_TIMER_MTIMER
|
|
bool "ACLINT MTIMER FDT driver"
|
|
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
|