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