Mathieu Mirmont
Mathieu Mirmont
And the matching PR for the changes to the seL4 kernel: https://github.com/seL4/seL4/pull/1340
> The main problem to get this merged is how the loading works. > > To my understanding, the approach of having one image that then unpacks the kernel, initial...
> I don't understand why you don't just add a cmdline option instead, then you don't need a special Microkit loader for x86. This is what I did indeed initially:...
> And why not add a dynamic loading bit to the Microkit init code instead of arcane machine description file and boot emulation? Hmm I understand the appeal, but this...