Rev 4148 | Rev 4173 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4148 | Rev 4154 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | #include <async.h> |
39 | #include <async.h> |
40 | #include <ipc/services.h> |
40 | #include <ipc/services.h> |
41 | #include <as.h> |
41 | #include <as.h> |
42 | #include <sysinfo.h> |
42 | #include <sysinfo.h> |
43 | #include <io/stream.h> |
43 | #include <io/stream.h> |
- | 44 | #include <console.h> |
|
44 | #include <errno.h> |
45 | #include <errno.h> |
45 | 46 | ||
46 | #define NAME "klog" |
47 | #define NAME "klog" |
47 | 48 | ||
48 | #define KLOG_SIZE PAGE_SIZE |
49 | #define KLOG_SIZE PAGE_SIZE |