/trunk/uspace/klog/klog.c |
---|
39,7 → 39,6 |
#include <async.h> |
#include <ipc/services.h> |
#include <as.h> |
#include <kernel/ipc/irq.h> |
#include <sysinfo.h> |
/* Pointer to klog area */ |
/trunk/uspace/init/init.c |
---|
49,7 → 49,7 |
{ |
version_print(); |
printf("Hello\nThis is Init\n"); |
printf("This is init\n"); |
test_console(); |
/trunk/uspace/libc/include/as.h |
---|
37,7 → 37,6 |
#include <types.h> |
#include <task.h> |
#include <kernel/arch/mm/as.h> |
#include <kernel/mm/as.h> |
#include <libarch/config.h> |
/trunk/uspace/libc/include/ipc/ipc.h |
---|
36,7 → 36,7 |
#define LIBIPC_IPC_H_ |
#include <kernel/ipc/ipc.h> |
#include <kernel/ipc/irq.h> |
#include <kernel/ddi/irq.h> |
#include <libc.h> |
#include <types.h> |
#include <kernel/synch/synch.h> |