genode/repos/base-hw
Martin Stein 8a99c08ae4 hw: always panic on removal of scheduler head
Because of helping, it is possible that a core thread that wants to
destroy another thread at the kernel is using the scheduling context of
the thread that shall be destroyed at this point in time. When building
without GENODE_RELEASE defined, this always triggers an assertion in the
kernel. But when building with GENODE_RELEASE defined, this might silently
lead to kernel-memory corruption. This commit eliminates the latter case.
Should be reverted as soon as the scheduler is able to remove its head.

Ref #1537
2015-05-26 09:40:04 +02:00
..
doc imx31: remove platform completely (fix #1360) 2015-01-12 14:24:15 +01:00
include hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00
lib hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00
mk hw: support Wandboard Quad (i.MX6) 2015-04-09 16:04:43 +02:00
run CPU session: apply quota via relative weightings 2015-05-06 10:55:16 +02:00
src hw: always panic on removal of scheduler head 2015-05-26 09:40:04 +02:00