#include <stdint.h>

u32 sys_get(u32 id)
{
	// TODO: Implement get syscall
	return -1;
}