path: root/arch/riscv64/kernel/cpu.c

#include <arch/cpu.h>

id_t cpu_id()
{
	return 0; /* VERY MUCH TEMP */
}