christos 4649e9761b Only define the extra flags for kern_timeout.c		2015-02-09 17:48:07 +00:00
..
arch
crash.8	usage police	2014-10-05 23:08:01 +00:00
crash.c	mention the default for core too.	2014-10-06 13:14:36 +00:00
extern.h
Makefile	Only define the extra flags for kern_timeout.c	2015-02-09 17:48:07 +00:00
unsupported.c