/* Subsume %% to kernel interfaces */
subsume %%:kernel_klog to kernel_klog;
subsume %%:kernel_console to kernel_console;
subsume %%:kernel_tls to kernel_tls;
subsume %%:kernel_thread to kernel_thread;
subsume %%:kernel_task to kernel_task;
subsume %%:kernel_program to kernel_program;
subsume %%:kernel_futex to kernel_futex;
subsume %%:kernel_smc to kernel_smc;
subsume %%:kernel_as to kernel_as;
subsume %%:kernel_ipc to kernel_sys;
subsume %%:kernel_event to kernel_event;
subsume %%:kernel_cap to kernel_cap;
subsume %%:kernel_ddi to kernel_ddi;
subsume %%:kernel_sysinfo to kernel_sysinfo;
subsume %%:kernel_debug to kernel_debug;