/*
 * Copyright (c) 2026, Chloe M.
 * Provided under the BSD-3 clause.
 *
 * Description: Thread control block bridge
 * Author:      Chloe M.
 */

#ifndef _HAL_TCB_H_
#define _HAL_TCB_H_ 1

/*
 * This header must define the TCB structure for MD
 * thread information.
 */
#include <machine/tcb.h>

#endif  /* !_HAL_TCB_H_ */