Oliver Langlois a404f5e95a unix plat: use eventfd in place of pipe where possible ... From eventfd man page: Applications can use an eventfd file descriptor instead of a pipe (see pipe(2)) in all cases where a pipe is used simply to signal events. The kernel overhead of an eventfd file descriptor is much lower than that of a pipe, and only one file descriptor is required (versus the two required for a pipe).		2020-02-21 17:32:41 +00:00
..
freertos	linkit: support build using public sdk	2020-01-17 07:45:34 +00:00
optee	lws_get_random: change length to size_t for coverity	2020-01-11 07:58:37 +00:00
unix	unix plat: use eventfd in place of pipe where possible	2020-02-21 17:32:41 +00:00
windows	windows: clean type warnings	2020-01-11 14:04:50 +00:00