how to get current cpu id

Adam Lackorzynski adam at
Thu May 15 01:14:03 CEST 2014

On Tue May 13, 2014 at 17:05:34 -0800, Yuxin Ren wrote:
> How can I get the id of cpu(core) the current thread is running on?

The system does not do migrate threads between CPUs on its own, so your
program is running on CPU0. And from that point (in a simple scenario)
programs control themselves where they migrate to, so they know where
they are running on.

Adam                 adam at

More information about the l4-hackers mailing list