Add comment about the axi timer

This timer is present and initialized in OpenSBI and seems to drive the
UART device. Not sure if we need to see it from the kernel.
This commit is contained in:
Rodrigo Arias 2024-07-03 15:30:28 +02:00
parent d7669671f6
commit a40414d08c

View File

@ -170,5 +170,18 @@
/*<&SERIAL 0x3>, <&SERIAL 0x7>*/
compatible = "riscv,clint0";
};
/* Guesswork: There must be a timer at 0x40170000 as it is
* initialized in OpenSBI. It seems to drive the console. */
//axi_timer: timer@40170000 {
// clock-frequency = <100000000>;
// clocks = <&clk_bus_0>;
// compatible = "xlnx,xps-timer-1.00.a";
// interrupt-parent = <&axi_intc_1>;
// interrupts = <2 2>;
// reg = <0x41c00000 0x10000>;
// xlnx,count-width = <0x20>;
// xlnx,one-timer-only = <0x0>;
//};
};
};