+#if CONFIG_KERN_MONITOR
+ /** Initialize the monitor */
+ void monitor_init(void);
+
+ /** Register a process into the monitor */
+ void monitor_add(Process *proc, const char *name, cpustack_t *stack, size_t stacksize);
+
+ /** Unregister a process from the monitor */
+ void monitor_remove(Process *proc);
+
+ /** Rename a process */
+ void monitor_rename(Process *proc, const char* name);
+#endif /* CONFIG_KERN_MONITOR */
+