/* Kernel interfaces required by libc */
kernel_klog kernel_klog;
kernel_console kernel_console;
kernel_tls kernel_tls;
kernel_thread kernel_thread;
kernel_task kernel_task;
kernel_program kernel_program;
kernel_futex kernel_futex;
kernel_smc kernel_smc;
kernel_as kernel_as;
kernel_ipc kernel_sys;
kernel_event kernel_event;
kernel_cap kernel_cap;
kernel_ddi kernel_ddi;
kernel_sysinfo kernel_sysinfo;
kernel_debug kernel_debug;