linux_dsm_epyc7002/Documentation/devicetree/bindings/nios2
..
nios2.txt
timer.txt