#include <kernel/printk.h>
#include <kernel/sched.h>

kern_status_t sys_kern_log(const char *s)
{
	struct task *task = current_task();
	printk("%s[%d]: %s", task->t_name, task->t_id, s);
	return KERN_OK;
}