Hans Petter Selasky ef23481a79 Add support for LinuxKPI tasklets. ... Tasklets are implemented using a taskqueue and a small statemachine on top. The additional statemachine is required to ensure all LinuxKPI tasklets get serialized. FreeBSD taskqueues do not guarantee serialisation of its tasks, except when there is only one worker thread configured. MFC after: 1 week Sponsored by: Mellanox Technologies		2017-02-21 13:23:53 +00:00
..
Makefile	Add support for LinuxKPI tasklets.	2017-02-21 13:23:53 +00:00