David van Moolenbroek 415782f70f TTY: do not reply to KERNEL
Diagnostics messages are printed using locally generated requests,
using KERNEL as the calling endpoint.  No reply should be sent for
such cases.  This check was accidentally lost with the previous
removal of tty_reply().

Change-Id: I4b76215a4d90e927b0071675d89d861aa399abb3
2014-07-28 17:05:13 +02:00
2014-07-28 17:05:09 +02:00
2014-07-28 17:05:12 +02:00
2014-07-28 17:05:12 +02:00
2014-07-28 17:05:13 +02:00
2014-07-28 17:05:12 +02:00
2014-07-28 17:05:12 +02:00
2014-07-28 17:05:12 +02:00
2014-07-28 17:05:09 +02:00
2014-07-28 17:05:11 +02:00
2014-07-28 17:05:12 +02:00
2014-07-28 17:05:12 +02:00
2014-07-28 17:05:12 +02: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%