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 #3842		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