microkit icon indicating copy to clipboard operation
microkit copied to clipboard

Check runtime device tree matches kernel in loader

Open Ivan-Velickovic opened this issue 11 months ago • 0 comments

This would potentially avoid debugging experiences such as https://github.com/seL4/microkit/issues/263. See my comment for details: https://github.com/seL4/microkit/issues/263#issuecomment-2628672065.

Ivan-Velickovic avatar Feb 01 '25 01:02 Ivan-Velickovic