search

ethandmd / reedos

rust riscv minimal os
2 stars 6 forks source link

uboot device trees #56

Open TCCQ opened 1 year ago

TCCQ commented 1 year ago

How does one pass a u-boot device tree to the booted kernel? What format is it? Really we just want the memory map from the device tree.