I think I answered my own question by asking it. I think only the DDF would have to be ported. However, further discussion is welcome, since I'm still curious about Tokio's future with WASM.