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 |