sel4 on multi-core

21 Oct 2014

      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

Yuxin Ren

tags

participants (6)