Hi All,

I think, on IA-32, sel4 supports multi-core machine.

But I do not how to use that. Here I have two specfic questions.

1. How to assign a specific core to a process/thread? And can I change this affinity?

2. How to two process/threads communicate via IPC on different cores?

I want to know some implementation details in kernel to support cross-core IPC.

Could anyone explain its logic or tell me the code for it in the kernel?

Thank you very much.

Best,

Yuxin