[seL4] Interactions between sDDF and libvmm

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