mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-25 05:25:32 +00:00
Previously, Idle_thread inherited from Thread which caused an extra processor_pool.h and processor_pool.cc and also made class models for processor and scheduling more complex. However, this inheritance makes not much sense anyway as an idle context doesn't trigger most of the code in Thread. ref #1225