3 The chosen node does not represent a real device, but serves as a place
4 for passing data like which serial device to used to print the logs etc
9 Device trees may specify the device to be used for boot console output
10 with a stdout-path property under /chosen.
16 stdout-path = "/serial@f00:115200";
20 compatible = "vendor,some-uart";
27 In a system there are multiple timers, specify which timer to be used
28 as the tick-timer. Earlier it was hardcoded in the timer driver now
29 since device tree has all the timer nodes. Specify which timer to be
36 tick-timer = "/timer2@f00";
40 compatible = "vendor,some-timer";