Martin Stein e856158824 hw: no msg_base argument to Ipc_node::send_request ... ref #1108		2014-04-07 17:10:53 +02:00
..
arm/kernel	hw: move core-restricted interface to local header	2014-04-07 17:02:50 +02:00
base	hw: split resume_local_thread from resume_thread	2014-04-07 17:09:52 +02:00
core	hw: no msg_base argument to Ipc_node::send_request	2014-04-07 17:10:53 +02:00