#ifndef _JOVE_TCB_H
#define _JOVE_TCB_H 1

#include <stddef.h>
#include <stdint.h>

struct jove_ThreadControlBlock;

void tcb_init(void *task_main);

#endif