[seL4] smp camkes

Hi,

I've been trying to extend one of the tutorial / example projects to run on more than one core with no success.

After reading the camkes manual https://docs.sel4.systems/projects/camkes/manual.html#thread-cpu-affinity I assumed that you need to set core affinities for different components in your camkes file and set the KernelMaxNumNodes to a number greater than one.

I tried this with the adder sample (as below) with no luck. Can anyone point me to some information on how to get smp to work, what hardware is supported and the like?

configuration { adder.affinity = 1; client.affinity = 0; }

Thanks David