mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
a9563bfd4c
The class name Core_thread in Kernel for the object of the first thread of core is too generic as there can be an arbitrary number of threads in core besides this one. Furthermore, creating a core thread has its own syscall 'new_core_thread' that isn't related in any way to Core_thread. Therefore this commit introduces the more specific name Core_main_thread as replacement for Core_thread. Ref #4217