I think that is inaccurate, and probably based on the backend they are using: * -DCORO_ASM * Handcoded assembly, known to work only on a few architectures

I think that is inaccurate, and probably based on the backend they are using: * -DCORO_ASM * Handcoded assembly, known to work only on a few architectures/ABI: GCC + x86/IA32 and amd64/x86_64 + GNU/Linux and a few BSDs. The other backends use standard libc/SUSv2 calls like (get|set|swap)context, setjmp|longjmp and sigaltstack