genode/repos/base-hw/src
Martin Stein 0c61b25bcf base-hw: no unmanaged_singleton in kernel thread
The unmanaged-singleton approach was used in this context only because of the
alignment requirement of the Core main-UTCB. This, however can also be achieved
with the new 'Aligned' utility, allowing the UTCB to be a member of the Core
main-thread object.

Ref #4217
2021-10-13 14:46:53 +02:00
..
bootstrap base-hw: use generalized util/array.h 2021-05-28 14:16:45 +02:00
core base-hw: no unmanaged_singleton in kernel thread 2021-10-13 14:46:53 +02:00
include base-hw: Core main-thread as Main member 2021-10-13 14:46:53 +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