15d3ca1de6
Event ID are not validated anymore against the maximum event number in the system, since they are pointers now instead of low integers. Validation can be useful, but only do it in a debug kernel, with no penalty to a deployment system. Change-Id: Ifd8dc8841892f6d19bbcb0c641a655fd0cb6ddb7 Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com> |
||
---|---|---|
.. | ||
configs | ||
microkernel | ||
nanokernel | ||
Kconfig | ||
Makefile |