Jim Borden 1979bd8cc9 Make the Windows pipe more responsive ... Otherwise it often forgets to inform about event loop interrupts. Add a flag to the per thread context, set it in the signal function, then check / reset it in the service method.		2019-06-25 12:08:39 +01:00
..
esp32	rtos: clean warnings where uint32_t is an unsigned long	2019-06-07 11:11:46 +01:00
optee	permissions: adapt drop permissions plat function to do uid and gid lookup separately	2019-05-02 09:28:25 +01:00
unix	unix plat: add minimal wsi fd map option	2019-05-18 12:10:19 +01:00
windows	Make the Windows pipe more responsive	2019-06-25 12:08:39 +01:00