+#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 */
+