Device Tree node requirements

To prepare an SBI environment using RustSBI Prototyper, following paths must exist in provided Flattened Device Tree (FDT) in the opaque (i.e. a1) register:

/chosen/stdout-path

This path must contain the path and settings of standard output device within the device tree. This field must be a single string.

Example values:

• "serial0:115200n8"
• "/soc/uart@10000000"
• "serial0"

Link: linux drivers/of/fdt.c