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
Cristiano Giuffrida
76bf77a21f
kernel: Extend the sys_whoami() interface.
...
Add support for init flags.
Change-Id: Ibb4d7eb9064d2bbee6d51112ad0c56b2750a5f8e
2015-09-16 11:01:36 +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
David van Moolenbroek
bb9431cb88
Kernel: update copyright year
...
Change-Id: I1776f1bc6402f264c7095c17a9ace087036cf010
2014-09-10 13:01:45 +00:00
Lionel Sambuc
da9af514b5
Make the kernel less chatty
...
Change some messages from always printed to varying level of the "verbose"
argument.
Change-Id: I6899268aa895c66e72806ca4d02bb53a0e4ea785
2014-09-01 16:36:26 +02:00
Lionel Sambuc
433d6423c3
New sources layout
...
Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9
2014-07-31 16:00:30 +02:00
