g2gps opened a new pull request, #11939:
URL: https://github.com/apache/nuttx/pull/11939
## Summary
Allows a flattened device tree to be passed from either openSBI or the LiteX
bios. The FDT is registered can be used, if supported.
## Impact
The Litex framework has tooling to generate device trees for the chosen
configuration. NuttX can use the compiled FDT to dynamically register hardware
peripherals.
This begins to address issues mentioned here:
- https://github.com/apache/nuttx/issues/1020
And provide a better solution to the workarounds in:
- https://github.com/apache/nuttx/pull/8233
- https://github.com/apache/nuttx/pull/8225
As well as this being mentioned in:
- https://github.com/apache/nuttx/pull/2844
- https://github.com/apache/nuttx/pull/638
The long term-plan is to roll out the device tree integration used
internally, to the LiteX drivers, where needed. This greatly improves the NuttX
support for LiteX, which is essentially broken unless configured in exactly one
way. See the limitation section on the LiteX CI repository
https://github.com/enjoy-digital/litex_hw_ci/tree/main/nuttx
## Testing
Internal testing on our hardware.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
