genode/repos/base-sel4
Alexander Boettcher 90bea1499e core: store new affinity on successful migration
Adjust the base-* platforms to acknowledge new thread location solely if
migration is supported and succeeded. Otherwise the wrong thread
locations are observed via the trace session and utilization time calculation
get wrong.

Issue 
2020-10-09 13:33:36 +02:00
..
doc sel4: 3rd article - porting core to seL4 2015-05-26 09:40:02 +02:00
etc sel4: add Wandboard Quad (iMX6) support 2017-08-17 11:04:21 +02:00
include/sel4 Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
lib sel4: assignment of BOARD as effective override 2020-06-30 09:11:57 +02:00
mk/spec Disambiguate kernel-specific file names 2016-12-23 16:51:32 +01:00
patches sel4: let seoul-kernelbuild.run succeed 2019-05-27 14:46:53 +02:00
ports sel4: let seoul-kernelbuild.run succeed 2019-05-27 14:46:53 +02:00
recipes/src depot: update recipe hashes 2020-09-17 14:23:14 +02:00
src core: store new affinity on successful migration 2020-10-09 13:33:36 +02:00