diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/templates/chcore.c | 8 | ||||
| -rw-r--r-- | src/templates/chcore.h | 1 |
2 files changed, 0 insertions, 9 deletions
diff --git a/src/templates/chcore.c b/src/templates/chcore.c index 9d09784ef..b788d356c 100644 --- a/src/templates/chcore.c +++ b/src/templates/chcore.c @@ -130,12 +130,4 @@ void port_halt(void) { void port_switch(Thread *otp, Thread *ntp) {
}
-/**
- * @brief Prints a message on the system console.
- *
- * @param msg pointer to the message
- */
-void port_puts(char *msg) {
-}
-
/** @} */
diff --git a/src/templates/chcore.h b/src/templates/chcore.h index 78fa3abac..c5d750cfb 100644 --- a/src/templates/chcore.h +++ b/src/templates/chcore.h @@ -145,7 +145,6 @@ extern "C" { void port_wait_for_interrupt(void);
void port_halt(void);
void port_switch(Thread *otp, Thread *ntp);
- void port_puts(char *msg);
#ifdef __cplusplus
}
#endif
|