#ifndef KERNEL_DEBUG_H_
#define KERNEL_DEBUG_H_

#include <magenta/status.h>
#include <magenta/types.h>

extern kern_status_t debug_await(void);
extern kern_status_t debug_create_task(void);

extern kern_status_t debug_event_task_created(tid_t id);
extern kern_status_t debug_event_task_started(void);
extern kern_status_t debug_event_task_stopped(void);
extern kern_status_t debug_event_task_destroyed(void);

#endif