#ifndef ARCH_RISCV_TCB_H
#define ARCH_RISCV_TCB_H

struct arch_tcbd {
	/* empty for now, but should probably be filled with stuff like register
	 * saving of something */
};

#endif /* ARCH_RISCV_TCB_H */
