1
/* Kernel interfaces required by libc */
2
kernel_klog kernel_klog;
3
kernel_console kernel_console;
5
kernel_thread kernel_thread;
6
kernel_task kernel_task;
7
kernel_program kernel_program;
10
kernel_event kernel_event;
11
kernel_cap kernel_cap;
12
kernel_ddi kernel_ddi;
13
kernel_sysinfo kernel_sysinfo;
14
kernel_debug kernel_debug;