David van Moolenbroek a75c47e5ac VFS: set w_drv_sendrec only when needed
As with w_task, this ensures that the field remains cleared if it is
not used. Without this, worker_stop could mistakenly identify a thread
as talking to a device driver rather than a (crashed) file server.

Change-Id: I7d3ebed3efc3cd4f5c891f61c67a6463109b6376
2014-02-18 11:25:02 +01:00
2014-02-18 11:25:02 +01:00
2014-02-18 11:25:02 +01:00
2013-08-20 11:37:40 +02:00
2014-02-18 11:25:02 +01:00
2014-02-18 11:25:02 +01:00
2014-02-18 11:25:02 +01:00
2014-02-18 11:25:02 +01:00
2013-08-21 13:53:39 +02:00
2014-02-18 11:25:02 +01:00
2014-02-18 11:25:02 +01:00
2014-02-18 11:25:02 +01:00
2014-02-18 11:25:01 +01:00
2014-02-18 11:25:02 +01:00
2014-02-18 11:25:02 +01:00
2013-11-12 10:15:47 -05:00
2014-02-18 11:25:01 +01:00
2010-01-21 10:16:05 +00:00
Description
A fun microkernel meant to match modern usecases
GPL-3.0 148 MiB
Languages
C 78.2%
Roff 10.2%
Assembly 4.6%
Shell 3.7%
Makefile 1.6%
Other 1.2%