4 commits

Author	SHA1	Message	Date
Cristiano Giuffrida	56e56d2af2	kernel: Inherit allowed memory, IRQ & I/O ranges ... Inherit at live update time all the priviledges previously acquired by the process. Change-Id: I1fd6ab16680ea85a1f3d8d1c106a7c716bf65e8e	2015-09-16 11:02:44 +00:00
Cristiano Giuffrida	c8a9900b0c	kernel: Add support for IPC filters. ... Edited by David van Moolenbroek. Change-Id: Ia0052c42a0f218d011dd2da1e3db6c5b2107adc7	2015-09-16 11:02:24 +00:00
David van Moolenbroek	1dcfbcd173	Remove support for call profiling ... The entire infrastructure relied on an ACK feature, and as such, it has been broken for years now, with no easy way to repair it. Change-Id: I783c2a21276967af115a642199f31fef0f14a572	2014-09-30 12:39:03 +00:00
Lionel Sambuc	433d6423c3	New sources layout ... Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9	2014-07-31 16:00:30 +02:00

Renamed from kernel/system.c (Browse further)