Stream: wasmtime

Topic: pulley32 on x86_64-unknown-linux-gnu


view this post on Zulip Julien Cretin (ia0) (Aug 28 2025 at 09:39):

I want to run pulley32 bytecode on a x86_64 machine for testing purposes (the pulley32 bytecode is generated for embedded targets like thumbv7em-none-eabi).

My idea is to compile for i686-unknown-linux-gnu and run that on the x86_64 machine. This works on a small example where I only had to implement wasmtime_tls_{get,set} from the capi.rs. But on a bigger example I'm missing more symbols like wasmtime_mmap_remap etc.

I'm wondering if there's a way to avoid doing that, for example by lying about the presence of virtual memory (i.e. cfg(has_virtual_memory) would return false). Or if I have to implement the capi.rs completely (like in the min-platform example).


Last updated: Dec 06 2025 at 06:05 UTC