Martin Stein 693a2b5421 base-hw: get rid of cpu_pool() in platform.cc ... The function was only still used for reading the execution time of idle threads of CPUs. Certainly, it is technically fine and more performant to read these values directly from the kernel objects without doing a syscall. However, calling cpu_pool() for it provides read and write access to a lot more than only the execution time values. The interface via which Core directly reads state of the kernel should be as narrow and specific as possible. Perspectively, we want to get rid of the cpu_pool() accessor anyway. Therefore this commit introduces Kernel::read_idle_thread_execution_time(cpu_idx) as replacement. The function is implemented in kernel code and called by Core in platform.cc. Ref #4217		2021-10-13 14:46:52 +02:00
..
bootstrap	base-hw: use generalized util/array.h	2021-05-28 14:16:45 +02:00
core	base-hw: get rid of cpu_pool() in platform.cc	2021-10-13 14:46:52 +02:00
include	base-hw: communicate kernel irqs via boot info	2021-10-13 14:46:52 +02:00
lib	base: extend cache maintainance functionality	2021-06-25 11:43:41 +02:00
test	base-foc/hw: avoid use of placement new operator	2021-03-12 12:01:38 +01:00
timer/hw	timeout: rework timeout framework	2020-10-09 13:35:56 +02:00