[seL4] Re: seL4 libraries compatibility with Microkit

[Julia Royer via Devel]

Hi Ivan

Thanks for your response! That answers my question.

Best regards,
Julia Royer
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems