Can you give some introduction to how the new SMP features are used?

So the gsi/gsc argument -:pN specifies how many GVM processors (i.e. OS threads) should be spawned. That one is not yet in the manual (http://www.iro.umontreal.ca/~gambit/doc/gambit.html#Threads).

And then the green threads run spread over the GVM processors?

How do you enumerate the GVM processors? How do you glue particular green threads or green thread groups to a particular GVM processor, if desired?

What more SMP-specific forms and features are there?

Thanks!