/**
 * @file cpu.c
 * riscv64 implementation of cpu handling.
 */

#include <arch/cpu.h>

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