Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Move CPU pinning to kore_worker_started().
When trying to pin a worker to a certain CPU, Kore will log if it fails but still continue. The problem is that it tried to do it a bit early and the logging facilities were not yet setup, causing it to be unable to continue if kore_log() was called too early. By moving it to kore_worker_started() we are certain all facilities are up and running correctly.
- Loading branch information