Hi Jeff, Passing the device tree to the kernel and then on to the rootserver on ARM is definitely something that should be done. In this way ARM should become more like x86 where access to all physical memory(minus important kernel devices) is passed to the rootserver, and it becomes its responsibility to parse the device tree and create mappings for the actual devices. So yes there is interest and intention, but unfortunately no timeline and many other priorities :) Adrian On Wed 18-Apr-2018 2:43 PM, Jeff Waugh wrote:

Hello,

Congrats on the RISC-V release!

I noticed some Device Tree code snuck in, replacing some hard coded bits in the platform, and is intended to be exposed to the rootserver…

Any interest or intention to bring that to the ARM code, and possibly avoid building kernels for specific platforms?

Thanks, Jeff

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel