Hello, I am currently exploring libvmm and sDDF and I have a question regarding how sDDF is intended to be used in practice.
>From what I understand, sDDF is often seen in conjunction with libvmm in >examples and documentation. My question is: Is sDDF meant to be used exclusively with libvmm, or can it also be used independently? If the latter is possible, is it considered a recommended or meaningful use case, or is the project mainly designed around integration with libvmm? Thank you for your help. Best regards, Julia Royer _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
