mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-19 03:06:39 +00:00
99c649c42f
Don't set priority and label in platform thread and then communicate this core object via Kernel::new_thread but communicate priority and label directly. This way kernel doesn't need to know anymore what a platform thread is. ref #953 |
||
---|---|---|
.. | ||
doc | ||
include | ||
lib/mk | ||
mk | ||
run | ||
src |