[seL4] Re: Incorrect dtb in the Microkit tutorial

I’ve fixed this now, thanks for reporting it. Sorry about that. I will have CI soon to hopefully eliminate errors like this… Thanks for doing the tutorial. Ivan

On 9/10/2023, at 3:10 AM, Luke Hart wrote:

[You don't often get email from luke.hart@birchleys.eu. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ]

Hello,

It seems that the linux.dtb file supplied with the tutorial code is not correct and does not allocate enough memory for the initrd. The symptoms this issue caused when attempting to run part4 was that the libresolv.so.2 could not be opened and the vmm panic'ed. The linux.dtb supplied in the 'solution' folder in the git repository has 'initrd-end' set to a larger value and this version does work.

Thanks,

Luke