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

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