[Barrelfish-users] User Level IPI Support on SCC

[Shi Jinghao]

Hi,

I was wondering whether I can send a IPI to anther core in user space.
Furthermore, can I broadcast IPIs to multiple cores at the same time?

I checked the code in /user/bench/ipi_bench.c, it seems exactly what I want
(except broadcast) but it won't compile correctly. And it also seems to be
for X86_64 only. The comment in symbolic_targets.mk says the ipi_bench
target is broken in the newidc system.

Thanks,
Jinghao
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20130105/0230f558/attachment.html